--- 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