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
..
gh-pages
cov.sh
export.py
fetch_prs_between.sh	util/fetch_prs_between.sh: Add Markdown formatted Link	2020-04-20 21:08:55 +02:00
lintlib.py
versions.py