3 commits

Author	SHA1	Message	Date
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