tree d0794fbb7b33af25308ee8665560cbdb198e402d
parent 7612175ffab1371e3f8ddd71afe4633bfcb5424c
author Ina Huh <ihuh@google.com> 1565037265 -0700
committer Ina Huh <ihuh@google.com> 1565037265 -0700

Delete top-level files specific to tools.git