Krishan Mistry 7e9be8dee3 Warn on duplicate footnote definition and ignore subsequent definitions		2025-04-30 06:39:48 -07:00
..
footnotes.html	Warn on duplicate footnote definition and ignore subsequent definitions	2025-04-30 06:39:48 -07:00