Guillaume Gomez 2fa13cf4e0 Add a spinner when search is in progress		2025-05-31 09:36:27 +02:00
..
gui	Add a spinner when search is in progress	2025-05-31 09:36:27 +02:00
testsuite	Warn on duplicate footnote definition and ignore subsequent definitions	2025-04-30 06:39:48 -07:00