summaryrefslogtreecommitdiff
path: root/src/common/doc/main_page.md
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2020-01-20 20:11:28 +0100
committerMarc Glisse <marc.glisse@inria.fr>2020-01-20 20:11:28 +0100
commit82b4a1e765adc6ec9d37b1bfb09ce443f642cb08 (patch)
tree9ad6d245c2d896a0cb09e126373ba004474b79fe /src/common/doc/main_page.md
parent6ee77c3da821256459406e87024077c48419a493 (diff)
Missing entry in TOC
Diffstat (limited to 'src/common/doc/main_page.md')
-rw-r--r--src/common/doc/main_page.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/doc/main_page.md b/src/common/doc/main_page.md
index 768c5794..90afb05d 100644
--- a/src/common/doc/main_page.md
+++ b/src/common/doc/main_page.md
@@ -135,7 +135,7 @@
</tr>
</table>
-## Filtrations and reconstructions
+## Filtrations and reconstructions {#FiltrationsReconstructions}
### Alpha complex
<table>