lib/scripts/run-polyml-4.2.0

--- a/lib/scripts/run-polyml-4.2.0	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-polyml-4.2.0	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Poly/ML 4.x startup script.