rust/util
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