Philipp Hansch 64bd658516 RIIR update lints: Generate deprecated lints ... The update script now also generates the 'register_removed' section in `clippy_lints/src/lib.rs`. Also, instead of using `let mut store ...`, I added a new identifier line so that the replacement will continue to work in case `let mut store ...` ever changes.		2018-10-31 08:03:50 +01:00
..
gh-pages	Website: Make lint categories linkable	2018-10-15 22:36:35 +09:00
cov.sh	Add license header to other files	2018-10-06 09:43:08 -07:00
dev	update_lints rewrite: Add structure and --print-only	2018-09-03 22:18:51 +02:00
export.py	Add license header to other files	2018-10-06 09:43:08 -07:00
lintlib.py	Merge pull request #3265 from mikerite/fix-export	2018-10-08 07:22:09 +01:00
update_lints.py	RIIR update lints: Generate deprecated lints	2018-10-31 08:03:50 +01:00