Make "write_sha1_file()" exit early if the file already exists.
[git.git] / git-prune-script
2005-04-18 Linus TorvaldsAdd the simple scripts I used to do a merge with conten...