Skip to content

conf.py: update for new tools tags

Antoine Suel requested to merge as/update-conf into master
  • source/conf.py: here.

Merge request reports