diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-12-09T12·26+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-12-09T12·26+0000 |
| commit | 9fb24840ab2951d178fe2b02a0da0c8d8ec4d532 (patch) | |
| tree | f6d8c604ca2b3131e0dd465d0b237a47aa830bd9 /tools | |
| parent | 124e185628adc20e4cb9bb022181dfbd061aa340 (diff) | |
chore: Remove old 'external' folder r/114
What was the point of this? Noone knows!
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions