Elod Illes bc7db06629 [doc] change directive noindex to no-index ... Due to a bug in Sphinx [1], the ':noindex:' flag is currently broken for the 'module' directive. Workaround it by replacing it with the ':no-index' flag, which is what we'll need come Sphinx 9.x anyway. [1] https://github.com/sphinx-doc/sphinx/issues/12843 Change-Id: If3fa5c51b566ea0144acf84d186ce12c8127c9a8		2024-08-29 17:27:23 +00:00
..
source	[doc] change directive noindex to no-index	2024-08-29 17:27:23 +00:00
test	docs: Add redirects	2018-09-24 15:18:06 +01:00
requirements.txt	Remove old excludes	2024-05-01 01:05:58 +00:00