summaryrefslogtreecommitdiff
path: root/.docker
AgeCommit message (Expand)AuthorLines
2024-02-09frozendict is no longer requiredBirte Kristina Friesel-1/+0
2022-05-20Add a test benchmark for explore-kconfigDaniel Friesel-0/+36