doc-src/System/showsymbols
changeset 10633 85c5645a8a93
parent 10632 e887eca23edb
child 10974 f23a58cf12a4
--- 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";