diff options
| author | flip1995 <9744647+flip1995@users.noreply.github.com> | 2018-08-27 23:24:42 +0200 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2018-08-31 00:46:55 -0700 |
| commit | ce173c12e6416b1afa4aa460076d7c807fdcdccf (patch) | |
| tree | b63444e120d61a7b80fd9725960e4d6db9d644d6 /src/tools | |
| parent | 9521deecc4992d31f761a3bd7e3b60479837cd1d (diff) | |
| download | rust-ce173c12e6416b1afa4aa460076d7c807fdcdccf.tar.gz rust-ce173c12e6416b1afa4aa460076d7c807fdcdccf.zip | |
Add deprecated_name argument to the register lint group functions
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject d99cea0f16633556871a59500c610782b07233b +Subproject 9abf6fca9c7288cb3bb99c0f7627f94b7930ee9 |