diff options
author | Junio C Hamano <gitster@pobox.com> | 2011-04-06 10:38:14 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2011-04-06 10:38:14 -0700 |
commit | cea667e955cca71e517f259c86bf974d03064df2 (patch) | |
tree | 372f6751be6b5cfbc8cd9a944918612afcfca173 /levenshtein.h | |
parent | Merge branch 'mg/doc-revisions-txt' (diff) | |
parent | remote: deprecate --mirror (diff) | |
download | tgif-cea667e955cca71e517f259c86bf974d03064df2.tar.xz |
Merge branch 'jk/maint-remote-mirror-safer'
* jk/maint-remote-mirror-safer:
remote: deprecate --mirror
remote: separate the concept of push and fetch mirrors
remote: disallow some nonsensical option combinations
Diffstat (limited to 'levenshtein.h')
0 files changed, 0 insertions, 0 deletions