Skip to content
Snippets Groups Projects

Add old pages to index to avoid sphinx warnings

Passed
alex created pipeline for commit 56589d86
, finished
Related merge request !113 to merge add-all-rsts-to-the-index
merge request
14 jobs 18 minutes 36 seconds, queued for 7 seconds