Guillaume Gomez dc6b0a6e58 Update search test		2025-05-31 09:55:58 +02:00
..
gui	Update search test	2025-05-31 09:55:58 +02:00
testsuite	Warn on duplicate footnote definition and ignore subsequent definitions	2025-04-30 06:39:48 -07:00