to pass nix test, adding Newline file back in

leanprover · May 7, 2024 · d283ac3 · d283ac3
1 parent 147cac0
commit d283ac3
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/lake/Lake/Util/Newline.lean b/src/lake/Lake/Util/Newline.lean
@@ -0,0 +1,10 @@
+/-
+Copyright (c) 2023 Mario Carneiro. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Mario Carneiro
+-/
+
+namespace Lake
+
+/-- This is the same as `String.replace text "\r\n" "\n"`, but more efficient. -/
+@[inline, deprecated] partial def crlf2lf (text : String) : String := text.crlfToLf