]> matita.cs.unibo.it Git - helm.git/commit
helm-math-engine-configuration.xml autoconfigured
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 15:09:32 +0000 (15:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 15:09:32 +0000 (15:09 +0000)
commitd5dfb19a889c965dd53cf7e718703f3a453d0e9e
treefb850de772df0aed5c5923c9d071cb7a075fcfac
parent1b7c9907af7530d118f886d4844b0c9a8d2950ca
helm-math-engine-configuration.xml autoconfigured
helm/configuration/etc/.cvsignore [new file with mode: 0644]
helm/configuration/etc/helm-math-engine-configuration.xml [deleted file]