From 5a5fb72aee0d90623dfe7f1a152e1e99c6988ef0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 21 Dec 2005 14:36:59 +0000 Subject: [PATCH] old files --- helm/ocaml/grafite2/.cvsignore | 5 ----- helm/ocaml/grafite2/.depend | 10 ---------- 2 files changed, 15 deletions(-) delete mode 100644 helm/ocaml/grafite2/.cvsignore delete mode 100644 helm/ocaml/grafite2/.depend diff --git a/helm/ocaml/grafite2/.cvsignore b/helm/ocaml/grafite2/.cvsignore deleted file mode 100644 index 8697eb7ee..000000000 --- a/helm/ocaml/grafite2/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -*.cm[iaox] -*.cmxa -test_dep -test_parser -print_grammar diff --git a/helm/ocaml/grafite2/.depend b/helm/ocaml/grafite2/.depend deleted file mode 100644 index eaea866c1..000000000 --- a/helm/ocaml/grafite2/.depend +++ /dev/null @@ -1,10 +0,0 @@ -grafiteSync.cmi: grafiteTypes.cmi -grafiteEngine.cmi: grafiteTypes.cmi -grafiteTypes.cmo: grafiteTypes.cmi -grafiteTypes.cmx: grafiteTypes.cmi -grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi -grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi -grafiteMisc.cmo: grafiteMisc.cmi -grafiteMisc.cmx: grafiteMisc.cmi -grafiteEngine.cmo: grafiteTypes.cmi grafiteMisc.cmi grafiteEngine.cmi -grafiteEngine.cmx: grafiteTypes.cmx grafiteMisc.cmx grafiteEngine.cmi -- 2.39.2