Merge git-tools repository under "tools" subdirectory
[git.git] / debian / docs
1 README
2 COPYING
3