aboutsummaryrefslogtreecommitdiff
path: root/Init.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-04-22 16:53:09 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-04-22 16:53:09 -0400
commit822c2d920882dd7eea8ed551369fa4bb5b26afa3 (patch)
treeb57a4525bfa2dec52823e30e5090a90f69d78741 /Init.hs
parent26264f5fb4e90cdbc5bfc83bbe3d317b19bbf7da (diff)
assistant: When built with git before 1.8.0, use `git remote rm` to delete a remote. Newer git uses `git remote remove`.
Diffstat (limited to 'Init.hs')
0 files changed, 0 insertions, 0 deletions