]> matita.cs.unibo.it Git - helm.git/commit
0.2.0
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:07:59 +0000 (13:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:07:59 +0000 (13:07 +0000)
commit52f68b88a73c06438a05383b0a359bf2e0eb5378
tree5eb4bab4cbee730960685f526efde439b1419d16
parentf5d8ab6a1c8bdf2d54e9961ac5899d9f001160c2
0.2.0
helm/software/configure.ac