Eve Redero cc3558ba00 doc: detail how to find the drop-down version selector ... Adding more guidance in the documentation website top banner Signed-off-by: Eve Redero <eve.redero@gmail.com>		2024-07-02 14:19:46 +02:00
..
breadcrumbs.html	doc: Rename "report an issue" label	2023-11-09 14:50:21 +01:00
footer.html	doc: exclude some HTML DIVs from search engine "snippets"	2023-12-15 04:34:48 -05:00
gsearch.html	doc: Make search engine configurable	2023-12-15 04:34:48 -05:00
layout.html	doc: detail how to find the drop-down version selector	2024-07-02 14:19:46 +02:00
searchbox.html	doc: Make search engine configurable	2023-12-15 04:34:48 -05:00
versions.html	doc: improve visibility of doc version menu	2019-04-12 09:37:15 -04:00
zversions.html	doc: add link to download PDF file	2021-07-30 08:21:02 -04:00