# HG changeset patch # User wenzelm # Date 910040269 -3600 # Node ID e1aac05fe537e6817b1e98e67b10a4346e9a8976 # Parent 9ef3db99f24aa914c47319325978c250c5300e99 oops; diff -r 9ef3db99f24a -r e1aac05fe537 Admin/page/index.html --- a/Admin/page/index.html Mon Nov 02 21:36:48 1998 +0100 +++ b/Admin/page/index.html Mon Nov 02 21:57:49 1998 +0100 @@ -1,7 +1,7 @@ -<-- $Id$ --> + Isabelle