diff options
author | Junio C Hamano <gitster@pobox.com> | 2007-09-21 12:52:30 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-09-21 12:53:08 -0700 |
commit | 8fceacee676ba9595a4dfdbe7b9726781bfd3ef9 (patch) | |
tree | d76d3c5d8ba1dff0d1b4044934a0b224dc6670cc /Documentation/git-read-tree.txt | |
parent | 806ea701ce3624aa6a89648b6ca5d858703398cb (diff) | |
download | git-8fceacee676ba9595a4dfdbe7b9726781bfd3ef9.tar.gz |
Documentation/git-lost-found.txt: drop unnecessarily duplicated name.
I only did this back when I wanted to make sure git-log and gitk work
properly with non Occidental characters. There is really no reason to
keep it around.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-read-tree.txt')
0 files changed, 0 insertions, 0 deletions