summaryrefslogtreecommitdiff
path: root/internal/configfile
diff options
context:
space:
mode:
authorJakob Unterwurzacher2016-11-23 21:54:13 +0100
committerJakob Unterwurzacher2016-11-23 21:54:13 +0100
commit25d06fc809a74621fd59a73dd9a43a5ba4f23607 (patch)
tree447904060cad5033272cb00566f7931994f0ed6a /internal/configfile
parent6f475da116edb7a86a809a25b6b47c70805ba219 (diff)
Drop "benchmark-synthetic.bash"
This scipt was broken for a long time and not very useful.
Diffstat (limited to 'internal/configfile')
0 files changed, 0 insertions, 0 deletions