Remove outdated ignored tidy comment

tesuji · tesuji · commit a50ec5f144b4 · 2020-09-19T15:01:51.000Z
diff --git a/library/core/src/num/mod.rs b/library/core/src/num/mod.rs
@@ -1,5 +1,3 @@
-// ignore-tidy-filelength
-
 //! Numeric traits and functions for the built-in numeric types.
 
 #![stable(feature = "rust1", since = "1.0.0")]

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-// ignore-tidy-filelength`
`2`		`-`
`3`	`1`	`//! Numeric traits and functions for the built-in numeric types.`
`4`	`2`
`5`	`3`	`#![stable(feature = "rust1", since = "1.0.0")]`