]> matita.cs.unibo.it Git - helm.git/commit
0.5.6
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 1 Dec 2008 16:54:42 +0000 (16:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 1 Dec 2008 16:54:42 +0000 (16:54 +0000)
commit9449ec60150ea2326d7b54ad9c4f51e36d06bb65
tree678a3ca000c1ca421171993abac6db4add5ad31f
parentb0f7c07bc4115c795f17ac319ee795a6d8118b22
0.5.6
helm/software/configure.ac