]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 10:40:51 +0000 (10:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 10:40:51 +0000 (10:40 +0000)
commit5c30190ffa401334eb2fa9fab0be7db0de26a458
tree67cedb078de15dcf54795a9414e2c6a5bbbbecb5
parentd175eb77ca53f7f11377fada4b964ef6c4d0a592
...
helm/software/configure.ac