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 | |
| parent | a4b514615796b9b4a2cac1b73935304447897805 (diff) | |
third_party: add unwanted crates and cargo caches to .gitignore
And some other minor clean-ups in the same file.
| m--------- | third_party | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/third_party b/third_party -Subproject c103d4620cf6df002b1a733963a9cb82a42df83 +Subproject 7f10d29f6d83e7562207ad7615583b7a110b529 |