]> matita.cs.unibo.it Git - helm.git/commit
we use ulex08 not ulex
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 10:14:01 +0000 (10:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 10:14:01 +0000 (10:14 +0000)
commit5792131774a4fea8a9477bbcb25876895b5225ec
tree9835c989f99aadb0f29d404cd221d4445cf51829
parent6a0ba36a34474850464f568139fdda5e9d85f315
we use ulex08 not ulex
helm/software/configure.ac