Restore clippy_dummy's placeholder name

Fixes #3317
This commit is contained in:
Manish Goregaokar 2018-10-14 23:41:35 -07:00
parent 5afdf8b785
commit 3ad9290ea4

View file

@ -1,5 +1,5 @@
[package]
name = "clippy" # rename to clippy before publishing
name = "clippy_dummy" # rename to clippy before publishing
version = "0.0.302"
authors = ["Manish Goregaokar <manishsmail@gmail.com>"]
edition = "2018"