]> matita.cs.unibo.it Git - helm.git/commit
configuration.pl.in configured
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:25:06 +0000 (14:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:25:06 +0000 (14:25 +0000)
commit1b7c9907af7530d118f886d4844b0c9a8d2950ca
tree166b210316d75f09d8d541cd845f6225f35c0ab6
parent7b83cb1e4d697cd716a0d073931a5a3ac885d3e7
configuration.pl.in configured
helm/configuration/configure.in
helm/configuration/lib/configuration.pl.in