Merge pull request #358 from kennytm/master

Remove the [workspace] section.
This commit is contained in:
Eduard-Mihai Burtescu 2017-12-16 12:38:50 +02:00 committed by GitHub
commit 919604e1ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -32,6 +32,3 @@ cargo_miri = ["cargo_metadata"]
[dev-dependencies]
compiletest_rs = { version = "0.3.3", features = ["tmp"] }
[workspace]
exclude = ["xargo", "cargo-miri-test", "rustc_tests"]