projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04e7ca1) | patch
Rename .git/lost+found to .git/lost-found.
authorJunio C Hamano <junkio@cox.net>
Fri, 11 Nov 2005 03:16:26 +0000 (19:16 -0800)
committerJunio C Hamano <junkio@cox.net>
Sat, 12 Nov 2005 05:52:21 +0000 (21:52 -0800)
commit07203659d0dae619f78773d3caea6b58907a1ba5
tree044546e12691bcc3b4e9e8284b6fa41dc9b60d25tree | snapshot
parent04e7ca1a1bd05e733236734bd7078b4cde1f7ce5commit | diff
Rename .git/lost+found to .git/lost-found.

Just to avoid confusion that scripts poorly written by somebody
else ;-) might mistake this as a mount point, or backup tools
ignoring the directory.  The latter is probably not a big loss,
however, considering that this directory's contents are to be
used while fresh anyway.

Signed-off-by: Junio C Hamano <junkio@cox.net>
Documentation/git-lost+found.txt diff | blob | history
git-lost+found.sh diff | blob | history
The core git plumbing