Kaspar Etter c09f86cd1d
Fix duplicate entries in default.html
Removes children from the table of contents that
belong to a different page with the same title.
2019-10-18 12:07:10 +02:00
..
2019-05-19 02:55:43 +02:00
2017-03-09 13:16:08 -05:00