]> matita.cs.unibo.it Git - helm.git/commit
configuration script improved
authorLuca Padovani <luca.padovani@unito.it>
Thu, 25 Jan 2001 11:13:22 +0000 (11:13 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 25 Jan 2001 11:13:22 +0000 (11:13 +0000)
commite693640e159ab0db297ef890927c8b50080997c6
tree8f6069e92b398f4b911a9257577f65589ef45dbd
parent4a97b3700b140024e1783ac12501ad5dfa4be9b5
configuration script improved
helm/DEVEL/mlminidom/Makefile.in
helm/DEVEL/mlminidom/configure.in