Closed mawieland closed 10 months ago
fix for wrongly assigned page number in table of content in case of duplicated headlines
fix for wrongly assigned page number in table of content in case of duplicated headlines