chiark / gitweb /
m.sphinx: ignore duplicate entries in intersphinx inventories.
authorVladimír Vondruš <mosra@centrum.cz>
Fri, 30 Aug 2019 18:36:10 +0000 (20:36 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Fri, 30 Aug 2019 18:37:46 +0000 (20:37 +0200)
commitcf916bc2947978f0062660eef13e51dce5c018e5
treec80c8a9f55ada14a6702da6e2c3c9b619ea69dd8
parent5e63b3964bdf2745e6545822d55403a9166c5834
m.sphinx: ignore duplicate entries in intersphinx inventories.

The "index" is the main offender.
plugins/m/sphinx.py