diff options
author | Avi Dessauer <avi.the.coder@gmail.com> | 2019-08-21 06:03:31 -0400 |
---|---|---|
committer | Alexey Kiryushin <alexey.a.kiryushin@gmail.com> | 2019-08-21 13:03:31 +0300 |
commit | af41ab40e1fc4888d1873a9ffe681ddafdfb4ee0 (patch) | |
tree | 219315a1ef02ae0d0f21889e7b88e08318b308a2 /cabal.project | |
parent | 5295ac7f7f26c3a43f0fe9b9c826e876b29cf666 (diff) |
Delete trailing whitespace (#42)
Diffstat (limited to 'cabal.project')
-rw-r--r-- | cabal.project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cabal.project b/cabal.project index 34e7a84..e6f5c39 100644 --- a/cabal.project +++ b/cabal.project @@ -9,7 +9,7 @@ -- A common config might be: -- -- all local packages -- optimization: 0 --- +-- -- -- always build dependencies with highest optimization -- package * -- optimization: 2 |