Prepare git-tools for merging into the main git archive
tree5653f607a0af70840636086cb3f7571f88ba0b76
drwxr-xr-x - tools