X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Flocal%2Fetc%2Fhelm%2Fhelm-math-engine-configuration.xml;fp=helm%2Fconfiguration%2Flocal%2Fetc%2Fhelm%2Fhelm-math-engine-configuration.xml;h=0000000000000000000000000000000000000000;hb=f1963225783effe6f19d5ad6f44f3c049f76cd6e;hp=560bd3be3ddcc5ea8b844e2abaa01e647feca0b7;hpb=c3dc7a49311fba7a38c5e7c834df33e93d2926f6;p=helm.git diff --git a/helm/configuration/local/etc/helm/helm-math-engine-configuration.xml b/helm/configuration/local/etc/helm/helm-math-engine-configuration.xml deleted file mode 100644 index 560bd3be3..000000000 --- a/helm/configuration/local/etc/helm/helm-math-engine-configuration.xml +++ /dev/null @@ -1,37 +0,0 @@ - - - - - - /projects/helm/V7/phd/local/etc/helm/helm-dictionary.xml - /projects/helm/local/share/gtkmathview/dictionary.xml - /projects/helm/V7/phd/local/etc/helm/helm-font-configuration.xml - /projects/helm/local/share/gtkmathview/font-configuration.xml - /projects/helm/local/share/gtkmathview/t1.config - - - - -