diff options
| author | Philipp Krones <hello@philkrones.com> | 2025-06-13 10:17:14 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2025-06-13 10:17:14 +0200 |
| commit | 85655d4a098be06080e4ec20360a5eb7feab3e3f (patch) | |
| tree | ac84391c2d14214eff463de30e5eaf55656b9fc7 /clippy_dev/src | |
| parent | 507183d438e615dcc24eb488a6622b5591801058 (diff) | |
| parent | 6d7c16a3d6301c6a07b2aad768e2e4113b9d5f8f (diff) | |
Merge remote-tracking branch 'upstream/master' into rustup
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index 320462a2c96..08592f2521f 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -73,8 +73,8 @@ pub fn generate_lint_files( ( "clippy_lints/src/lib.rs", &mut update_text_region_fn( - "// begin lints modules, do not remove this comment, it’s used in `update_lints`\n", - "// end lints modules, do not remove this comment, it’s used in `update_lints`", + "// begin lints modules, do not remove this comment, it's used in `update_lints`\n", + "// end lints modules, do not remove this comment, it's used in `update_lints`", |dst| { for lint_mod in lints.iter().map(|l| &l.module).sorted().dedup() { writeln!(dst, "mod {lint_mod};").unwrap(); |