From f4cba72840fc19af55f1fb8e57e11360d0514998 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 9 Dec 2003 00:02:51 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5079 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.depend b/.depend
index 837897d9df..e2c50651c7 100644
--- a/.depend
+++ b/.depend
@@ -525,9 +525,9 @@ ide/ideutils.cmo: config/coq_config.cmi lib/options.cmi lib/pp_control.cmi \
 ide/ideutils.cmx: config/coq_config.cmx lib/options.cmx lib/pp_control.cmx \
     ide/preferences.cmx ide/utf8_convert.cmx ide/ideutils.cmi 
 ide/preferences.cmo: ide/config_lexer.cmo ide/utils/configwin.cmi \
-    ide/utils/editable_cells.cmo lib/util.cmi ide/preferences.cmi 
+    lib/util.cmi ide/preferences.cmi 
 ide/preferences.cmx: ide/config_lexer.cmx ide/utils/configwin.cmx \
-    ide/utils/editable_cells.cmx lib/util.cmx ide/preferences.cmi 
+    lib/util.cmx ide/preferences.cmi 
 ide/undo.cmo: ide/ideutils.cmi ide/undo.cmi 
 ide/undo.cmx: ide/ideutils.cmx ide/undo.cmi 
 interp/constrextern.cmo: lib/bignat.cmi pretyping/classops.cmi \
-- 
cgit v1.2.3