Change back prelude headline

steffahn · steffahn · commit 761296bcb37f · 2021-03-29T15:14:14.000+02:00
diff --git a/library/std/src/prelude/mod.rs b/library/std/src/prelude/mod.rs
@@ -1,4 +1,4 @@
-//! The Rust Prelude.
+//! # The Rust Prelude
 //!
 //! Rust comes with a variety of things in its standard library. However, if
 //! you had to manually import every single thing that you used, it would be

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-//! The Rust Prelude.`
	`1`	`+//! # The Rust Prelude`
`2`	`2`	`//!`
`3`	`3`	`//! Rust comes with a variety of things in its standard library. However, if`
`4`	`4`	`//! you had to manually import every single thing that you used, it would be`