Remove dandling symbolic links from the repository

[helm.git] / matita / components / binaries / matitaprover / FIXME

diff --git a/matita/components/binaries/matitaprover/FIXME b/matita/components/binaries/matitaprover/FIXME
new file mode 100644 (file)
index 0000000..7690928
--- /dev/null
+++ b/matita/components/binaries/matitaprover/FIXME
@@ -0,0 +1,4 @@
+Dropped symbolic links:
+ast.ml -> ../../tptp_grafite/ast.ml
+lexer.mll -> ../../tptp_grafite/lexer.mll
+parser.mly -> ../../tptp_grafite/parser.mly