diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2014-10-21 13:28:19 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-10-21 13:28:20 -0700 |
| commit | 02f4db83bd979fe33f18006fa612d7d5ab1d2470 (patch) | |
| tree | b46eec9e6a6c9045c6a5819460d495f5519af6f4 /Documentation/config.txt | |
| parent | Merge branch 'da/mergetool-tests' (diff) | |
| parent | mergetool: use more conservative temporary filenames (diff) | |
| download | tgif-02f4db83bd979fe33f18006fa612d7d5ab1d2470.tar.xz | |
Merge branch 'da/mergetool-temporary-filename'
Tweak the names of the three throw-away files "git mergetool" comes
up with to feed the merge tool backend, so that a file with a
single dot in its name in the original (e.g. "hello.c") will have
only one dot in these variants (e.g. "hello_BASE_4321.c").
* da/mergetool-temporary-filename:
mergetool: use more conservative temporary filenames
Diffstat (limited to 'Documentation/config.txt')
0 files changed, 0 insertions, 0 deletions