From: Stefano Zacchiroli Date: Mon, 5 Dec 2005 09:22:45 +0000 (+0000) Subject: removed from repository spurious object files X-Git-Tag: make_still_working~8052 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6a388079100673e4f71d28a8a53ea029ee1b08df;p=helm.git removed from repository spurious object files --- diff --git a/helm/ocaml/grafite_parser/matitaDisambiguator.cmi b/helm/ocaml/grafite_parser/matitaDisambiguator.cmi deleted file mode 100644 index a50009c47..000000000 Binary files a/helm/ocaml/grafite_parser/matitaDisambiguator.cmi and /dev/null differ diff --git a/helm/ocaml/grafite_parser/matitaDisambiguator.cmo b/helm/ocaml/grafite_parser/matitaDisambiguator.cmo deleted file mode 100644 index fbc548d89..000000000 Binary files a/helm/ocaml/grafite_parser/matitaDisambiguator.cmo and /dev/null differ diff --git a/helm/ocaml/grafite_parser/matitaDisambiguator.o b/helm/ocaml/grafite_parser/matitaDisambiguator.o deleted file mode 100644 index 5358eadfa..000000000 Binary files a/helm/ocaml/grafite_parser/matitaDisambiguator.o and /dev/null differ