summaryrefslogtreecommitdiff
path: root/docker/compile-and-check/config
AgeCommit message (Expand)Author
2023-02-23compile-and-check: clean up, documentFlorian Dold
2023-01-20-missing filesFlorian Dold