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 /git.rc | |
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 'git.rc')
0 files changed, 0 insertions, 0 deletions