it just occurred to me that having 3 parts in the version number was safer, like...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 Nov 2015 15:01:21 +0000 (16:01 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 Nov 2015 15:01:21 +0000 (16:01 +0100)
commitf86d4bc8aeee965d2c12759ab7e6ef730a339180
tree487b6dab09d1c5c447f519f3e01cd3fdfbb0dda8
parent83880a4c0856307dc617da9e75a49cf64bf78cbf
it just occurred to me that having 3 parts in the version number was safer, like it was before that is
VERSION