From a50ec5f144b414d3c14fe04fc07f935c2ea0ab0f Mon Sep 17 00:00:00 2001 From: Lzu Tao Date: Fri, 4 Sep 2020 15:31:23 +0000 Subject: [PATCH] Remove outdated ignored tidy comment --- library/core/src/num/mod.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/library/core/src/num/mod.rs b/library/core/src/num/mod.rs index 5388a5c04b8..4f64e30ccf8 100644 --- 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")] -- 2.44.0