# HG changeset patch
# User casties
# Date 1089307805 -7200
# Node ID b7259a1c85aa3f62da5d9b82117ae12780447d07
# Parent  9143a0c4c67885db99b6e0039510ce1449ae3963
version number upped

diff -r 9143a0c4c678 -r b7259a1c85aa metacheck.pl
--- a/metacheck.pl	Thu Jul 08 19:27:59 2004 +0200
+++ b/metacheck.pl	Thu Jul 08 19:30:05 2004 +0200
@@ -14,7 +14,7 @@
 #
 
 # program version
-my $version = "0.5.2 (7.1.2004)";
+my $version = "0.5.3 (8.7.2004)";
 
 # read command line parameters
 my $args = MPIWGStor::parseargs;