diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2016-05-11 10:43:41 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2016-05-11 13:55:05 -0700 |
| commit | ebf31e70bbea010c9bb505578ae29532445b5a4d (patch) | |
| tree | a6c1b2272233adf916507afba154a4bd03694c7c /Documentation/git-mergetool--lib.txt | |
| parent | mingw: introduce the 'core.hideDotFiles' setting (diff) | |
| download | tgif-ebf31e70bbea010c9bb505578ae29532445b5a4d.tar.xz | |
mingw: remove unnecessary definition
For some reason, the definition of the MINGW version of
`mark_as_git_dir()` slipped into this developer's patch series to
support building Git for Windows.
As the `mark_as_git_dir()` function is not needed at all anymore (it was
used originally to support the core.hideDotFiles = gitDirOnly setting,
but we now use a different method to support that case), let's just
remove it.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-mergetool--lib.txt')
0 files changed, 0 insertions, 0 deletions