Erik Faye-Lund db8e49682d docs: expand mobile-menu without js ... Without javascript support, a user can't expand the menu. So let's leave it always-expanded in that case. Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/24721>		2023-08-21 12:03:20 +00:00
..
static	docs: upgrade bootstrap to 5.3.1	2023-08-16 10:47:36 +00:00
layout.html	docs: expand mobile-menu without js	2023-08-21 12:03:20 +00:00
search.html
theme.conf