# HG changeset patch
# User wenzelm
# Date 976224477 -3600
# Node ID 85c5645a8a9346e37104fa9b277b8449e855f9c1
# Parent  e887eca23edbe51a1385df2b054631d01f0d4709
Id;

diff -r e887eca23edb -r 85c5645a8a93 doc-src/System/showsymbols
--- a/doc-src/System/showsymbols	Thu Dec 07 22:24:40 2000 +0100
+++ b/doc-src/System/showsymbols	Thu Dec 07 22:27:57 2000 +0100
@@ -1,4 +1,6 @@
 #!/usr/bin/env perl
+#
+# $Id$
 
 print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";