# HG changeset patch
# User wenzelm
# Date 884374098 -3600
# Node ID 53553ccda0e67b13db92b25f14936de1050dd75d
# Parent  aa02667fb3da7cb7c4aca4a4f41a829667435abc
tuned;

diff -r aa02667fb3da -r 53553ccda0e6 Admin/index.html
--- a/Admin/index.html	Fri Jan 09 20:07:57 1998 +0100
+++ b/Admin/index.html	Fri Jan 09 20:28:18 1998 +0100
@@ -72,9 +72,9 @@
 
 </ul>
 
-<p><hr><p>
+<p><hr>
 
-<i>{DATE}</i>
+<i>{AUTHOR} {DATE}</i>
 
 </body>
 
diff -r aa02667fb3da -r 53553ccda0e6 Admin/makedist
--- a/Admin/makedist	Fri Jan 09 20:07:57 1998 +0100
+++ b/Admin/makedist	Fri Jan 09 20:28:18 1998 +0100
@@ -176,6 +176,7 @@
  "s/{ISABELLE}/$DISTNAME/g; \
   s/{PACKED_SIZE}/$PACKED_SIZE/g; \
   s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
+  s/{AUTHOR}/$LOGNAME/g; \
   s/{DATE}/$DATE/g;" index.html