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