diff options
| author | bors <bors@rust-lang.org> | 2021-02-23 06:05:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-02-23 06:05:27 +0000 |
| commit | 0984754dd75ce6f002389eb5a6c47466f604ed7f (patch) | |
| tree | ec98ba4dd10039db7800040551f512e38d53b1b8 | |
| parent | a3127fafb4fa41b571cddaad72c32fc05fc3cdcb (diff) | |
| parent | e05965eb13a3e303ffe9001bb73e7d9c87d3bf78 (diff) | |
| download | rust-0984754dd75ce6f002389eb5a6c47466f604ed7f.tar.gz rust-0984754dd75ce6f002389eb5a6c47466f604ed7f.zip | |
Auto merge of #6777 - giraffate:remove_unneeded_blank_lines_from_doc, r=phansch
Remove unneeded blank lines from doc Remove unneeded blank lines like below. <img width="1142" alt="スクリーンショット 2021-02-22 23 01 17" src="https://user-images.githubusercontent.com/17407489/108719295-bb9ff800-7562-11eb-9338-8f2571e61c56.png"> changelog: none
| -rw-r--r-- | clippy_lints/src/write.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/clippy_lints/src/write.rs b/clippy_lints/src/write.rs index e40fdca6a99..f21f5180554 100644 --- a/clippy_lints/src/write.rs +++ b/clippy_lints/src/write.rs @@ -147,7 +147,6 @@ declare_clippy_lint! { /// ```rust /// # use std::fmt::Write; /// # let mut buf = String::new(); - /// /// // Bad /// writeln!(buf, ""); /// @@ -174,7 +173,6 @@ declare_clippy_lint! { /// # use std::fmt::Write; /// # let mut buf = String::new(); /// # let name = "World"; - /// /// // Bad /// write!(buf, "Hello {}!\n", name); /// @@ -200,7 +198,6 @@ declare_clippy_lint! { /// ```rust /// # use std::fmt::Write; /// # let mut buf = String::new(); - /// /// // Bad /// writeln!(buf, "{}", "foo"); /// |
