Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_sqlite.scala
changeset 72444 2d9a70b85009
parent 72377 c7741f767e3e
child 72763 3cc73d00553c 
--- a/src/Pure/Admin/build_sqlite.scala	Sun Oct 11 17:17:19 2020 +0200
+++ b/src/Pure/Admin/build_sqlite.scala	Sun Oct 11 17:42:32 2020 +0200
@@ -34,7 +34,7 @@
 
     File.write(component_dir + Path.basic("README"),
       "This is " + download_name + " from\n" + download_url +
-        "\n\n    Makarius\n    " + Date.Format.date(Date.now()) + "\n")
+        "\n\n        Makarius\n        " + Date.Format.date(Date.now()) + "\n")
 
 
     /* settings */
isabelle