diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-04-29 00:44:35 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-04-30 11:12:30 +0900 |
commit | fb40429109723c0d8ec77ba81421f508ac2532a0 (patch) | |
tree | 17b51ed573a61474b80f0a8da0d953ef042835fb /Documentation/howto/setup-git-server-over-http.txt | |
parent | replace: prepare create_graft() for converting graft files wholesale (diff) | |
download | tgif-fb40429109723c0d8ec77ba81421f508ac2532a0.tar.xz |
replace: introduce --convert-graft-file
This option is intended to help with the transition away from the
now-deprecated graft file.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/howto/setup-git-server-over-http.txt')
0 files changed, 0 insertions, 0 deletions