diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-05-01 08:19:57 +0200 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-05-01 08:12:40 +0200 |
| commit | fa9be2f79520fff9cfe2ed35ace05cb322680af3 (patch) | |
| tree | f49fb62961ad08a7baa5a1ede65fec8ec200fe49 /test/lint | |
| parent | 842f7fdf786fcbbdf3df40522945813404f8a397 (diff) | |
lint: [doc] Clarify Windows line endings (CR LF) not to be used
Diffstat (limited to 'test/lint')
| -rw-r--r-- | test/lint/test_runner/src/main.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/lint/test_runner/src/main.rs b/test/lint/test_runner/src/main.rs index e22e047e4b..f054f99011 100644 --- a/test/lint/test_runner/src/main.rs +++ b/test/lint/test_runner/src/main.rs @@ -137,9 +137,9 @@ fn lint_trailing_whitespace() -> LintResult { if trailing_space { Err(r#" ^^^ -Trailing whitespace is problematic, because git may warn about it, or editors may remove it by -default, forcing developers in the future to either undo the changes manually or spend time on -review. +Trailing whitespace (including Windows line endings [CR LF]) is problematic, because git may warn +about it, or editors may remove it by default, forcing developers in the future to either undo the +changes manually or spend time on review. Thus, it is best to remove the trailing space now. |