| changeset 16995 | 5b344d1dccd8 |
| parent 16994 | a69d0496a724 |
| child 16996 | 32afaa947f6e |
--- a/Admin/polyml/bin/polyml-version Mon Aug 01 19:20:48 2005 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,10 +0,0 @@ -#!/bin/sh -# -# $Id$ -# -# polyml-version --- issue Poly/ML version identifier -# -# NOTE: version identifiers should be kept as generic as possible, -# i.e. shared by compatible environments. - -echo polyml-4.1.3