Skip to content
Snippets Groups Projects

- Glossaries now use the "alttree" style instead of the own-defined...

Passed
Michael Grinberg created pipeline for commit 4edd1979
, finished
For master
1 job 3 minutes 42 seconds, queued for 1 seconds

Datenschutz und Impressum