diff options
| author | Ralf Jung <post@ralfj.de> | 2022-11-25 08:47:59 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-11-25 08:52:06 +0100 |
| commit | 6ed4f15940d94d290e23bb72df92c2fb73e8fbdc (patch) | |
| tree | 5eb9d6a79118d0a0c9930017e6e9147535a60283 /src/tools/clippy/clippy_dev | |
| parent | a78c9bee4d9d51a3891bd8ecae1f28a93b83653b (diff) | |
| download | rust-6ed4f15940d94d290e23bb72df92c2fb73e8fbdc.tar.gz rust-6ed4f15940d94d290e23bb72df92c2fb73e8fbdc.zip | |
RefCell::get_mut: fix typo
and fix the same typo in a bunch of other places
Diffstat (limited to 'src/tools/clippy/clippy_dev')
| -rw-r--r-- | src/tools/clippy/clippy_dev/src/setup/git_hook.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/clippy/clippy_dev/src/setup/git_hook.rs b/src/tools/clippy/clippy_dev/src/setup/git_hook.rs index 1de5b1940ba..c7c53bc69d0 100644 --- a/src/tools/clippy/clippy_dev/src/setup/git_hook.rs +++ b/src/tools/clippy/clippy_dev/src/setup/git_hook.rs @@ -6,7 +6,7 @@ use super::verify_inside_clippy_dir; /// Rusts setup uses `git rev-parse --git-common-dir` to get the root directory of the repo. /// I've decided against this for the sake of simplicity and to make sure that it doesn't install /// the hook if `clippy_dev` would be used in the rust tree. The hook also references this tool -/// for formatting and should therefor only be used in a normal clone of clippy +/// for formatting and should therefore only be used in a normal clone of clippy const REPO_GIT_DIR: &str = ".git"; const HOOK_SOURCE_FILE: &str = "util/etc/pre-commit.sh"; const HOOK_TARGET_FILE: &str = ".git/hooks/pre-commit"; |
