Valentin Gagarin 2f0031aedc Revert "manual: fold sidebar sections" (#10698) ... The original change arguably reduced ergonomics of navigation, since menu items weren't ctrl+f searchable any more.		2024-05-14 19:23:29 +00:00
..
external-api	doc/external-api/local.mk: Rebuild when headers change	2024-04-17 17:17:59 +02:00
internal-api	doc/internal-api/local.mk: Rebuild when headers change	2024-04-17 17:28:30 +02:00
manual	Revert "manual: fold sidebar sections" (#10698)	2024-05-14 19:23:29 +00:00