diff options
author | Joey Hess <joey@kitenet.net> | 2013-04-22 16:53:09 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-04-22 16:53:09 -0400 |
commit | 822c2d920882dd7eea8ed551369fa4bb5b26afa3 (patch) | |
tree | b57a4525bfa2dec52823e30e5090a90f69d78741 /Init.hs | |
parent | 26264f5fb4e90cdbc5bfc83bbe3d317b19bbf7da (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