diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-18 13:46:54 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-18 13:46:54 +0000 |
commit | eab80cd961919b9321e1d34343ae3f3adb0502e5 (patch) | |
tree | 825fc70ee0abe5a15a9c55fd5f5a4b34b060f9c5 /.gitignore | |
parent | e59445cdde30cb73bc72e2266032f5e0125e6805 (diff) | |
parent | 039f2039a4ec06c8e52734190ceaf43a21de5e39 (diff) |
Merge #3218
3218: Cut some deps r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 99e0c5003..dc5ceca7f 100644 --- a/.gitignore +++ b/.gitignore | |||
@@ -6,3 +6,4 @@ crates/*/target | |||
6 | *.log | 6 | *.log |
7 | *.iml | 7 | *.iml |
8 | .vscode/settings.json | 8 | .vscode/settings.json |
9 | cargo-timing*.html | ||