]> matita.cs.unibo.it Git - helm.git/commit
Autoconf used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:19:38 +0000 (14:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:19:38 +0000 (14:19 +0000)
commit352196141500ca64f5a0d84218318ed78fdf830a
treebb3bb5ab21f3df49049c61cdc0f3befbe9dfca9e
parentf1963225783effe6f19d5ad6f44f3c049f76cd6e
Autoconf used
helm/configuration/lib/configuration.pl [deleted file]
helm/configuration/lib/configuration.pl.in [new file with mode: 0644]