diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-04-04 06:05:57 +0200 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-04-04 06:05:57 +0200 |
commit | dc80ab48359521dac415292f4d2b1f496f326263 (patch) | |
tree | 00270a9ef90cfd480f66d633b062edf41f8ec264 /src/Alpha_complex | |
parent | d9e6b4f51bc8517453653be2904ab6db9aaab85e (diff) |
Revert "sphinx label warnings"
This reverts commit d9e6b4f51bc8517453653be2904ab6db9aaab85e.
It was able to remove the warnings about duplicate labels, but then it
shows [WA1] instead of [1] in the generated doc. And for things cited on
multiple pages, it uses the same everywhere, so on a single page, you
can have a mix of [I1], [WI2], etc.
Not very pretty.
Diffstat (limited to 'src/Alpha_complex')
0 files changed, 0 insertions, 0 deletions