From 38d63e5adf7f0eeeab575697e10c2867cc1c2a7f Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 5 Feb 2015 00:30:59 +0000 Subject: [PATCH] depend update --- matita/components/syntax_extensions/.depend | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/matita/components/syntax_extensions/.depend b/matita/components/syntax_extensions/.depend index 119f13093..4b9bcffd4 100644 --- a/matita/components/syntax_extensions/.depend +++ b/matita/components/syntax_extensions/.depend @@ -1,5 +1,5 @@ -utf8Macro.cmi: -utf8MacroTable.cmo: -utf8MacroTable.cmx: -utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi -utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi +utf8Macro.cmi : +utf8MacroTable.cmo : +utf8MacroTable.cmx : +utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi +utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi -- 2.39.2