Delete top-level files specific to tools.git
7 files changed