summaryrefslogtreecommitdiff
path: root/docs/content/dev (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Bump version to 1.7.2David Mehren2021-01-151-1/+1
| | | | Signed-off-by: David Mehren <git@herrmehren.de>
* Move docs into subdirectory to make mkdocs work in a subdirectoryTilman Vatteroth2021-01-056-0/+632
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>