doc/conf: remove some rtd_theme options
1 related merge request: !923 fix sphinx build on older distros
Scheduled
12 jobs
51 minutes 34 seconds, queued for 1 seconds
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.