# HG changeset patch
# User wenzelm
# Date 1740321644 -3600
# Node ID 706562be40fc3f837f3604469af258ebedd98a30
# Parent  2a2bb5c1ec54620462efcf4d86eeb337939dc3d5
tuned output;

diff -r 2a2bb5c1ec54 -r 706562be40fc src/Pure/Admin/component_find_facts_web.scala
--- a/src/Pure/Admin/component_find_facts_web.scala	Thu Feb 20 21:58:23 2025 +0100
+++ b/src/Pure/Admin/component_find_facts_web.scala	Sun Feb 23 15:40:44 2025 +0100
@@ -103,8 +103,9 @@
 
 Sources can be found in $FIND_FACTS_HOME/web.
 
+
         Fabian Huch
-""")
+        """ + Date.Format.date(Date.now()) + "\n")
 
 
     /* pre-compiled web app */