diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-12-15 20:46:53 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-12-15 20:46:53 -0400 |
| commit | ef3214bd2856e5927eda83eeab969e421ee923ea (patch) | |
| tree | 2babba7b0df56d627a80eb47b14f350829020518 /Git/Version.hs | |
| parent | fcd731c545de94b277eb2a85ce20317e37ec9030 (diff) | |
| download | git-repair-ef3214bd2856e5927eda83eeab969e421ee923ea.tar.gz | |
merge from git-annex
Diffstat (limited to 'Git/Version.hs')
| -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 ecd1244..19ff945 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, |