diff options
author | Junio C Hamano <gitster@pobox.com> | 2007-11-25 19:10:01 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-11-25 19:10:01 -0800 |
commit | 1ab58e8d6f728cdde0057f7ee88daab3a1c2d06f (patch) | |
tree | 7d39ffb6f1aa0676c244cf279ddb940cc71489bf /grep.h | |
parent | 84ef033832af9e0be886214c70b2006b08630072 (diff) | |
parent | dc3e3ea3c838c1ddf7423401b4cf7a7dba528cff (diff) | |
download | git-1ab58e8d6f728cdde0057f7ee88daab3a1c2d06f.tar.gz git-1ab58e8d6f728cdde0057f7ee88daab3a1c2d06f.tar.xz |
Merge branch 'maint'
* maint:
user-manual: recovering from corruption
user-manual: clarify language about "modifying" old commits
user-manual: failed push to public repository
user-manual: define "branch" and "working tree" at start
git-checkout: describe detached head correctly
Diffstat (limited to 'grep.h')
0 files changed, 0 insertions, 0 deletions