64bd658516
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. |
||
|---|---|---|
| .. | ||
| gh-pages | ||
| cov.sh | ||
| dev | ||
| export.py | ||
| lintlib.py | ||
| update_lints.py | ||