aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/reference/mkindsg.html
AgeCommit message (Expand)AuthorFilesLines
2022-08-10Change dev branch used for docs, update static docsJohannes Ranke1-361/+328
2021-02-15Fully rebuild docs, rerun tests and checkJohannes Ranke1-5/+5
2020-11-19Depend on parallel, doc improvementsJohannes Ranke1-0/+460

Contact - Imprint