diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/polyml-version
--- a/lib/scripts/polyml-version	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/polyml-version	Sat Dec 20 11:55:34 2008 +0100
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # polyml-version --- determine Poly/ML runtime system version
 
 echo -n polyml