src/Pure/General/bytes.scala
changeset 69464 ef051edd4d10
parent 69458 51e696887b81
child 71349 69a22ccd1817
--- a/src/Pure/General/bytes.scala	Wed Dec 12 14:19:56 2018 +0100
+++ b/src/Pure/General/bytes.scala	Wed Dec 12 17:34:29 2018 +0100
@@ -39,6 +39,7 @@
       new Bytes(b, 0, b.length)
     }
 
+  val newline: Bytes = apply("\n")
 
   def base64(s: String): Bytes =
   {