diff options
author | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-10-11 01:02:14 +0000 |
---|---|---|
committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-10-11 01:02:14 +0000 |
commit | a67e806a0626be0c6ed120e6fc534b5d1c5eaca7 (patch) | |
tree | 643d037de763b672a97dad7cac2a2b64522cacd1 /.depend | |
parent | c40522d74f33aaf69ebe172e93341332f8524b86 (diff) |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3114 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
-rw-r--r-- | .depend | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1661,8 +1661,6 @@ tools/coq_vo2xml.cmo: config/coq_config.cmi toplevel/usage.cmi tools/coq_vo2xml.cmx: config/coq_config.cmx toplevel/usage.cmx tools/coqdep.cmo: config/coq_config.cmi tools/coqdep_lexer.cmo tools/coqdep.cmx: config/coq_config.cmx tools/coqdep_lexer.cmx -tools/coqdep_lexer.cmo: config/coq_config.cmi -tools/coqdep_lexer.cmx: config/coq_config.cmx tools/gallina.cmo: tools/gallina_lexer.cmo tools/gallina.cmx: tools/gallina_lexer.cmx toplevel/cerrors.cmo: parsing/ast.cmi pretyping/cases.cmi toplevel/himsg.cmi \ |