From 4c53e7f5f5e542c49cc8d17e75e28a99033f5c9d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 27 Nov 2008 21:29:23 +0000 Subject: [PATCH] ... --- helm/software/components/ng_disambiguation/.depend.opt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/helm/software/components/ng_disambiguation/.depend.opt b/helm/software/components/ng_disambiguation/.depend.opt index 833273319..6b4ef95c1 100644 --- a/helm/software/components/ng_disambiguation/.depend.opt +++ b/helm/software/components/ng_disambiguation/.depend.opt @@ -1,4 +1,2 @@ -nDisambiguate.cmo: nDisambiguate.cmi -nDisambiguate.cmx: nDisambiguate.cmi -nGrafiteDisambiguator.cmo: nDisambiguate.cmi nGrafiteDisambiguator.cmi -nGrafiteDisambiguator.cmx: nDisambiguate.cmx nGrafiteDisambiguator.cmi +nCicDisambiguate.cmo: nCicDisambiguate.cmi +nCicDisambiguate.cmx: nCicDisambiguate.cmi -- 2.39.2