]> matita.cs.unibo.it Git - helm.git/commit
bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 18:09:15 +0000 (18:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 18:09:15 +0000 (18:09 +0000)
commite7cfa9bf4413d376480ccc431020f11b223b24d3
tree387bf7bfd50111a71f8a73b7588ae61fa8dd2019
parent3cd06261fd37ec1e59df01d8a636050d155333b3
bug fixed
helm/configuration/configure.in
helm/configuration/lib/configuration.pl.in