From 58c3e4d98ffd4c6ad07fadaf0245355dae7eb6a9 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 6 Sep 2019 02:45:30 +0200 Subject: move basedb generation to auditor/ --- src/benchmark/generate-auditor-basedb-template.conf | 1 - 1 file changed, 1 deletion(-) delete mode 100644 src/benchmark/generate-auditor-basedb-template.conf (limited to 'src/benchmark/generate-auditor-basedb-template.conf') diff --git a/src/benchmark/generate-auditor-basedb-template.conf b/src/benchmark/generate-auditor-basedb-template.conf deleted file mode 100644 index 1d18740c7..000000000 --- a/src/benchmark/generate-auditor-basedb-template.conf +++ /dev/null @@ -1 +0,0 @@ -@INLINE@ generate-auditor-basedb.conf -- cgit v1.2.3