diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-04-11 22:35:18 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-04-11 22:35:18 +0800 |
| commit | 38db623bb893ad76fb810219a4f6229e012febf7 (patch) | |
| tree | f86292facea6f659a980afc44ce686af339dc943 /dev_tools | |
| parent | dc501290f7b25b72edf8c67555b5604ac5fc8a59 (diff) | |
Fix example doc comment indentation and header trimming
Diffstat (limited to 'dev_tools')
| -rw-r--r-- | dev_tools/src/bin/refresh-examples.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev_tools/src/bin/refresh-examples.rs b/dev_tools/src/bin/refresh-examples.rs index 9fdc7b5..c341bc4 100644 --- a/dev_tools/src/bin/refresh-examples.rs +++ b/dev_tools/src/bin/refresh-examples.rs @@ -61,7 +61,7 @@ impl ExampleContent { // Collect header lines (starting with //!) while let Some(line) = lines.next() { if line.trim_start().starts_with("//!") { - let trimmed = line.trim_start_matches("//!").trim(); + let trimmed = line.trim_start_matches("//!"); header.push_str(trimmed); header.push('\n'); } else { |