]> matita.cs.unibo.it Git - helm.git/commit
tagging 0.5.0-rc1
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 1 May 2008 12:44:26 +0000 (12:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 1 May 2008 12:44:26 +0000 (12:44 +0000)
commit9cfd71df3f877fac9556993da6a88b51ba05fdc6
treeb62afed2dd0414d3abdf0ab44d6e4e742a25a00f
parentbb2cda4c832cf41dd6716fe59eb3161f07dfb61b
tagging 0.5.0-rc1
helm/software/configure.ac