diff options
author | Joey Hess <joey@kitenet.net> | 2013-08-02 18:31:01 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-08-02 18:32:26 -0400 |
commit | addc505584876cca50ccdcd1c982e9a5e10ec9b1 (patch) | |
tree | 9da1fe90f8d96a038f939a9fc05d64c7af7e3369 /Assistant/DeleteRemote.hs | |
parent | 5921e627d75758101ccb38f76c83c3917ae897b7 (diff) |
better git version checking
Diffstat (limited to 'Assistant/DeleteRemote.hs')
-rw-r--r-- | Assistant/DeleteRemote.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Assistant/DeleteRemote.hs b/Assistant/DeleteRemote.hs index de3d4124b..2e06d52cd 100644 --- a/Assistant/DeleteRemote.hs +++ b/Assistant/DeleteRemote.hs @@ -18,7 +18,7 @@ import Assistant.DaemonStatus import qualified Remote import Remote.List import qualified Git.Command -import qualified Git.Version +import qualified Git.BuildVersion import Logs.Trust import qualified Annex @@ -39,7 +39,7 @@ disableRemote uuid = do [ Param "remote" -- name of this subcommand changed , Param $ - if Git.Version.older "1.8.0" + if Git.BuildVersion.older "1.8.0" then "rm" else "remove" , Param (Remote.name remote) |