Eric Huss 118c1096ea Merge pull request #2899 from ehuss/filtered-headings ... Filter mark tags from sidebar heading nav		2025-10-22 00:24:37 +00:00
..
gui	Merge pull request #2899 from ehuss/filtered-headings	2025-10-22 00:24:37 +00:00
testsuite	Fix heading nav with folded chapters	2025-10-20 17:31:40 -07:00