summaryrefslogtreecommitdiff
path: root/gitk-git/po/de.po
diff options
context:
space:
mode:
authorLibravatar Robin Rosenberg <robin.rosenberg@dewire.com>2013-01-22 08:49:22 +0100
committerLibravatar Junio C Hamano <gitster@pobox.com>2013-01-22 09:33:16 -0800
commitc08e4d5b5cfa9f692cb8c81e5e9615e330f299c2 (patch)
tree98aed4694ad319a814d7545c9a130561dc5d71db /gitk-git/po/de.po
parentMerge branch 'maint' (diff)
downloadtgif-c08e4d5b5cfa9f692cb8c81e5e9615e330f299c2.tar.xz
Enable minimal stat checking
Specifically the fields uid, gid, ctime, ino and dev are set to zero by JGit. Other implementations, eg. Git in cygwin are allegedly also somewhat incompatible with Git For Windows and on *nix platforms the resolution of the timestamps may differ. Any stat checking by git will then need to check content, which may be very slow, particularly on Windows. Since mtime and size is typically enough we should allow the user to tell git to avoid checking these fields if they are set to zero in the index. This change introduces a core.checkstat config option where the the user can select to check all fields (default), or just size and the whole second part of mtime (minimal). Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git/po/de.po')
0 files changed, 0 insertions, 0 deletions