diff options
| author | Richard Hartmann <richih@debian.org> | 2015-12-16 07:23:53 +0100 |
|---|---|---|
| committer | Richard Hartmann <richih@debian.org> | 2015-12-16 07:23:53 +0100 |
| commit | 53679fdc47d9470c2540fbe38d5de38c91c3bb01 (patch) | |
| tree | e3151adb4d04e905dbb930b67cdb959fac5ea513 /Git/Filename.hs | |
| parent | c94e89d797b15833875ebeb6adcaa6e130315f8e (diff) | |
| parent | 259c511a17669d043a573344e59eae9e9956265c (diff) | |
| download | git-repair-53679fdc47d9470c2540fbe38d5de38c91c3bb01.tar.gz | |
Merge tag '1.20151215' into debian
tagging package git-repair version 1.20151215
Diffstat (limited to 'Git/Filename.hs')
| -rw-r--r-- | Git/Filename.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Git/Filename.hs b/Git/Filename.hs index 5e076d3..ee84d48 100644 --- a/Git/Filename.hs +++ b/Git/Filename.hs @@ -1,7 +1,7 @@ {- Some git commands output encoded filenames, in a rather annoyingly complex - C-style encoding. - - - Copyright 2010, 2011 Joey Hess <joey@kitenet.net> + - Copyright 2010, 2011 Joey Hess <id@joeyh.name> - - Licensed under the GNU GPL version 3 or higher. -} @@ -24,5 +24,5 @@ encode :: FilePath -> String encode s = "\"" ++ encode_c s ++ "\"" {- for quickcheck -} -prop_idempotent_deencode :: String -> Bool -prop_idempotent_deencode s = s == decode (encode s) +prop_isomorphic_deencode :: String -> Bool +prop_isomorphic_deencode s = s == decode (encode s) |