aboutsummaryrefslogtreecommitdiff
path: root/src/util/paths.conf
AgeCommit message (Expand)Author
2023-11-17-minor cleanupsChristian Grothoff
2023-10-10-fix stupid crash bugChristian Grothoff
2023-06-05work on cleaning up benchmark logicv0.9.3-dev.2Christian Grothoff
2020-03-31typosCodeBlau-NGI-2019Christian Grothoff
2016-04-10fixing #4386: use more sane configuration and data file structureChristian Grothoff