diff options
| author | Jakob Unterwurzacher | 2016-11-23 21:54:13 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-11-23 21:54:13 +0100 |
| commit | 25d06fc809a74621fd59a73dd9a43a5ba4f23607 (patch) | |
| tree | 447904060cad5033272cb00566f7931994f0ed6a /internal/configfile | |
| parent | 6f475da116edb7a86a809a25b6b47c70805ba219 (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