diff options
| author | flip1995 <hello@philkrones.com> | 2020-05-31 13:40:23 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-05-31 13:40:23 +0200 |
| commit | e6f5dd52a47f02d6d029effe071cd3c4767126e1 (patch) | |
| tree | 2c44701d366145bdc4e6b5ede705e257ad0637a1 | |
| parent | fcc0e8f7d4dda4b505131f68ab8d4a806024e8cd (diff) | |
| parent | 7ea7cd165ad6705603852771bf82cc2fd6560db5 (diff) | |
| download | rust-e6f5dd52a47f02d6d029effe071cd3c4767126e1.tar.gz rust-e6f5dd52a47f02d6d029effe071cd3c4767126e1.zip | |
Merge remote-tracking branch 'upstream/master' into rustup
| -rwxr-xr-x | util/dev | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/util/dev b/util/dev deleted file mode 100755 index 319de217e0d..00000000000 --- a/util/dev +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh -CARGO_TARGET_DIR=$(pwd)/target/ -export CARGO_TARGET_DIR - -echo 'Deprecated! `util/dev` usage is deprecated, please use `cargo dev` instead.' - -cd clippy_dev && cargo run -- "$@" |