diff options
Diffstat (limited to 'Git')
| -rw-r--r-- | Git/Ref.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Git/Ref.hs b/Git/Ref.hs index ee2f02187..021dbe6cc 100644 --- a/Git/Ref.hs +++ b/Git/Ref.hs @@ -26,7 +26,6 @@ base = Ref . remove "refs/heads/" . remove "refs/remotes/" . show | prefix `isPrefixOf` s = drop (length prefix) s | otherwise = s - {- Given a directory such as "refs/remotes/origin", and a ref such as - refs/heads/master, yields a version of that ref under the directory, - such as refs/remotes/origin/master. -} |