X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdebian%2Flibeditex-ocaml-dev.files;fp=helm%2FDEVEL%2Fmathml_editor%2Fdebian%2Flibeditex-ocaml-dev.files;h=0000000000000000000000000000000000000000;hb=d43522a6d38fcb9081a3f0352088377bc0555231;hp=98d36d2a33d359c2db80df25f2cc6380195cba4c;hpb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files b/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
deleted file mode 100644
index 98d36d2a3..000000000
--- a/helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files
+++ /dev/null
@@ -1,3 +0,0 @@
-usr/lib/ocaml/3.08.3/mathml-editor
-usr/lib/ocaml/3.08.3/stublibs/lib*.so
-usr/lib/ocaml/3.08.3/stublibs/dll*.so.owner