5 commits

Author	SHA1	Message	Date
Jack Huey	0e2f5c9862	Fix nit and cargo.lock	2020-05-07 17:46:31 -04:00
Philipp Hansch	8d596ea01c	Remove util/dev script ... `cargo dev` has been the replacement for a while, so I think we can remove it now. cc #5394	2020-04-26 14:00:03 +02:00
Philipp Hansch	4d1a11d354	Deprecate util/dev in favor of cargo alias ... If you've been using `./util/dev` before, this now becomes `cargo dev`. The key part of this change is found in `.cargo/config`. This means one less shell script and a bit more cross-platform support for contributors.	2020-01-30 21:34:31 +01:00
Lzu Tao	f3ace5e71d	build: use shared target dir	2019-10-22 16:16:01 +07:00
Philipp Hansch	35f100b4f9	update_lints rewrite: Add structure and --print-only	2018-09-03 22:18:51 +02:00