# HG changeset patch # User wenzelm # Date 910039008 -3600 # Node ID 9ef3db99f24aa914c47319325978c250c5300e99 # Parent 4fe5d5aff4df7086d9bade40d044ed79835f9a23 Id; diff -r 4fe5d5aff4df -r 9ef3db99f24a Admin/page/index.html --- a/Admin/page/index.html Mon Nov 02 21:34:40 1998 +0100 +++ b/Admin/page/index.html Mon Nov 02 21:36:48 1998 +0100 @@ -1,6 +1,7 @@ +<-- $Id$ --> Isabelle