diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-05-10 16:38:49 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-05-10 16:38:49 -0400 |
| commit | 50b4e02d85387be77fa6ab918ac32f62581fdcd6 (patch) | |
| tree | 54a676a9318ba39e9e59ff02bd85f335e85f62f2 /Git | |
| parent | 8e8679f671d7896a306bea06b2e9e62b967103c8 (diff) | |
more {-# OPTIONS_GHC -fno-warn-tabs #-} ... Forcing people who have what is merely a difference of opinion to you to do this is a bit of an asshole move. Just saying.
Diffstat (limited to 'Git')
| -rw-r--r-- | Git/Version.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Git/Version.hs b/Git/Version.hs index ecd12444c..19ff945c8 100644 --- a/Git/Version.hs +++ b/Git/Version.hs @@ -5,6 +5,8 @@ - Licensed under the GNU GPL version 3 or higher. -} +{-# OPTIONS_GHC -fno-warn-tabs #-} + module Git.Version ( installed, older, |