Wed, 17 Feb 2010 17:42:19 +0000Put all version numbers in config.sh for easier changing
Akos Ladanyi <ladanyi@tmit.bme.hu> [Wed, 17 Feb 2010 17:42:19 +0000] rev 35
Put all version numbers in config.sh for easier changing