diff options
| author | bors <bors@rust-lang.org> | 2019-03-08 07:16:28 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-03-08 07:16:28 +0000 |
| commit | 90d43500557d4745f5ea76f9e0e7cff9c6ef9b51 (patch) | |
| tree | a7966d2e2bee07d729db8492f33b263358e802f1 | |
| parent | 77ba5045d71908f7915940c8959234363414119e (diff) | |
| parent | fa2691b1796716468e77341f1f8a2f374b56d400 (diff) | |
| download | rust-90d43500557d4745f5ea76f9e0e7cff9c6ef9b51.tar.gz rust-90d43500557d4745f5ea76f9e0e7cff9c6ef9b51.zip | |
Auto merge of #3855 - rchaser53:issue-3849, r=flip1995
Remove an unused binary file related https://github.com/rust-lang/rust-clippy/pull/3853 I'm sorry.
| -rwxr-xr-x | main | bin | 258952 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/main b/main
deleted file mode 100755
index 353d347bcf1..00000000000
--- a/main
+++ /dev/null
Binary files differ |