time.rs: remove "Basic usage text" · model-checking/verify-rust-std@39aad04

Original file line number	Diff line number	Diff line change
`@@ -617,8 +617,6 @@ impl Duration {`
`617`	`617`	`///`
`618`	`618`	`/// # Examples`
`619`	`619`	`///`
`620`		`- /// Basic usage:`
`621`		`- ///`
`622`	`620`	/// ```
`623`	`621`	`/// use std::time::Duration;`
`624`	`622`	`///`
`@@ -640,8 +638,6 @@ impl Duration {`
`640`	`638`	`///`
`641`	`639`	`/// # Examples`
`642`	`640`	`///`
`643`		`- /// Basic usage:`
`644`		`- ///`
`645`	`641`	/// ```
`646`	`642`	`/// use std::time::Duration;`
`647`	`643`	`///`
`@@ -700,8 +696,6 @@ impl Duration {`
`700`	`696`	`///`
`701`	`697`	`/// # Examples`
`702`	`698`	`///`
`703`		`- /// Basic usage:`
`704`		`- ///`
`705`	`699`	/// ```
`706`	`700`	`/// use std::time::Duration;`
`707`	`701`	`///`
`@@ -758,8 +752,6 @@ impl Duration {`
`758`	`752`	`///`
`759`	`753`	`/// # Examples`
`760`	`754`	`///`
`761`		`- /// Basic usage:`
`762`		`- ///`
`763`	`755`	/// ```
`764`	`756`	`/// use std::time::Duration;`
`765`	`757`	`///`
`@@ -814,8 +806,6 @@ impl Duration {`
`814`	`806`	`///`
`815`	`807`	`/// # Examples`
`816`	`808`	`///`
`817`		`- /// Basic usage:`
`818`		`- ///`
`819`	`809`	/// ```
`820`	`810`	`/// use std::time::Duration;`
`821`	`811`	`///`