Skip to content

Move glossary to docs

Average Dude requested to merge glossary-in-docs into master

Remove the unnecessary mkdocs plugin

Merge request reports