bumping the version number also requires updating makefile and sha1sum
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 31 Jan 2012 14:12:01 +0000 (15:12 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 31 Jan 2012 14:12:01 +0000 (15:12 +0100)
commita0c5578cb645fcf0dfe9724cd8b2c9a924c237c9
tree04e2be23e20983dfce8768518a7f1d46e215ba63
parent7d99d134e377948a8d975f45d6e0b301bb25274d
bumping the version number also requires updating makefile and sha1sum
in the mix, added dual search for tarball
Makefile