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 /GitAnnexShell.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 'GitAnnexShell.hs')
0 files changed, 0 insertions, 0 deletions