src/Pure/Admin/build_e.scala

--- a/src/Pure/Admin/build_e.scala	Sun Oct 11 17:17:19 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Sun Oct 11 17:42:32 2020 +0200
@@ -100,8 +100,8 @@
 Isabelle component directory: x86_64-linux etc.
 
 
-    Makarius
-    """ + Date.Format.date(Date.now()) + "\n")
+        Makarius
+        """ + Date.Format.date(Date.now()) + "\n")
     })
 }