Eric Huss 45e2158e84 Merge pull request #2982 from ehuss/fix-sidebar-scroll ... Fix sidebar scroll position when heading nav is involved		2025-12-11 19:21:21 +00:00
..
gui	Fix sidebar scroll position when heading nav is involved	2025-12-11 11:13:47 -08:00
testsuite	Don't rebuild preprocessor map during test	2025-12-10 13:42:15 -08:00