Krishan Mistry 7e9be8dee3 Warn on duplicate footnote definition and ignore subsequent definitions		2025-04-30 06:39:48 -07:00
..
gui	Break off query string when comparing url for sidebar	2025-04-21 12:03:17 -07:00
testsuite	Warn on duplicate footnote definition and ignore subsequent definitions	2025-04-30 06:39:48 -07:00