Remove duplicated .gitignore

This commit is contained in:
Philipp Hansch 2018-09-05 13:35:57 +02:00
parent 79bec036f8
commit 20836d3003
No known key found for this signature in database
GPG key ID: B6FA06A6E0E2665B
2 changed files with 1 additions and 41 deletions

4
.gitignore vendored
View file

@ -19,6 +19,7 @@ Cargo.lock
/target
/clippy_lints/target
/clippy_workspace_tests/target
/clippy_dev/target
# Generated by dogfood
/target_recur/
@ -33,6 +34,3 @@ helper.txt
*.iml
.vscode
.idea
# Used by the Clippy build script
min_version.txt

38
clippy_dev/.gitignore vendored
View file

@ -1,38 +0,0 @@
# Used by Travis to be able to push:
/.github/deploy_key
out
# Compiled files
*.o
*.d
*.so
*.rlib
*.dll
*.pyc
*.rmeta
# Executables
*.exe
# Generated by Cargo
Cargo.lock
/target
/clippy_lints/target
/clippy_workspace_tests/target
# Generated by dogfood
/target_recur/
# gh pages docs
util/gh-pages/lints.json
# rustfmt backups
*.rs.bk
helper.txt
*.iml
.vscode
.idea
# Used by the Clippy build script
min_version.txt