diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-10-26 15:35:55 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-26 15:35:55 -0400 |
| commit | 87b4716ded485f51c391cd5bcdc7009ba6a61926 (patch) | |
| tree | 678183f7c091e06599fdf4e6c2e3203b377e7152 /Utility | |
| parent | dc8c7441512d4b64a41953ed8eb1a912e509f20f (diff) | |
Catch up with current git behavior when both repo and repo.git exist; it seems it now prefers repo in this case, although historically it may have preferred repo.git.
Diffstat (limited to 'Utility')
0 files changed, 0 insertions, 0 deletions