From b14a11b05c35bfbe8abbd6c4f6a07f9bff98bed4 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 25 Jul 2014 14:20:25 -0700 Subject: [PATCH] drop cabal.config --- cabal.config | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 cabal.config diff --git a/cabal.config b/cabal.config deleted file mode 100644 index 792f6d648..000000000 --- a/cabal.config +++ /dev/null @@ -1,2 +0,0 @@ -library-profiling: True -executable-profiling: True