]> matita.cs.unibo.it Git - helm.git/commit
improved autoconfiguration
authorLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 18:17:10 +0000 (18:17 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 18:17:10 +0000 (18:17 +0000)
commit251e34e3e92475a72223f16cc2ce607c9db6a671
tree268a60e6044fa5059e8c9cf9b6b6e8e570f6afce
parente215920e3010f77feeaed24efff7608cef1455d3
improved autoconfiguration
helm/helm_data/Makefile.in
helm/helm_data/configure.in
helm/helm_data/helm_data-0.0.1-1.spec [deleted file]
helm/helm_data/helm_data.spec.in [new file with mode: 0644]