This commit was manufactured by cvs2svn to create branch 'moogle'.

[helm.git] / helm / ocaml / cic_disambiguation / macros / extra-entities.xml

diff --git a/helm/ocaml/cic_disambiguation/macros/extra-entities.xml b/helm/ocaml/cic_disambiguation/macros/extra-entities.xml
deleted file mode 100644 (file)
index 991c2d8..0000000
--- a/helm/ocaml/cic_disambiguation/macros/extra-entities.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<?xml version="1.0"?>
-
-<entities-table>
-  <entity name="def" value="&#x0225d;"/>  <!-- ≝ -->
-</entities-table>