summaryrefslogtreecommitdiff
path: root/docs/content/dev (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-01-15Bump version to 1.7.2David Mehren1-1/+1
Signed-off-by: David Mehren <git@herrmehren.de>
2021-01-05Move docs into subdirectory to make mkdocs work in a subdirectoryTilman Vatteroth6-0/+632
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>