From 7c2e3700d5f1fe13885cde7f03396c0510d72109 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Mon, 13 Aug 2018 09:06:11 -0700 Subject: cmake: Remove unused CMakeLists.txt --- src/proof/CMakeLists.txt | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/proof/CMakeLists.txt (limited to 'src/proof') diff --git a/src/proof/CMakeLists.txt b/src/proof/CMakeLists.txt deleted file mode 100644 index e69de29bb..000000000 -- cgit v1.2.3