diff options
| author | Bert Belder <bertbelder@gmail.com> | 2018-11-03 07:20:37 +0100 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2018-11-03 07:20:37 +0100 |
| commit | bf729a7446970b970ea546b9d1ba751be79df0cb (patch) | |
| tree | fa311d8328b11df0d09e15839350e65e7ce669f9 /tools/util.py | |
| parent | a4b514615796b9b4a2cac1b73935304447897805 (diff) | |
third_party: add unwanted crates and cargo caches to .gitignore
And some other minor clean-ups in the same file.
Diffstat (limited to 'tools/util.py')
0 files changed, 0 insertions, 0 deletions