]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)
commit49bed84eef2cb54965d55801cb537bf903a707f5
tree3a0c8e923a8ac360ccef5b9f3793b0bca42a5724
parentc1971c343031ce877f4c70d587154f77d7a76b2b
Modified Files:
install: updated to copy math engine configuration files
helm/configuration/install