X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_library%2F.depend;fp=helm%2Fsoftware%2Fcomponents%2Fng_library%2F.depend;h=c76001c01994219bd09ad475a79d0e3b20568227;hb=806ecbdd749ecf2a1cabff52b41cf748fe022401;hp=48127a32524c5ddf62190d9f5127650cbf289c7c;hpb=5858c6b8895010b580b6d7be26a962e7ed74cce4;p=helm.git diff --git a/helm/software/components/ng_library/.depend b/helm/software/components/ng_library/.depend index 48127a325..c76001c01 100644 --- a/helm/software/components/ng_library/.depend +++ b/helm/software/components/ng_library/.depend @@ -1,3 +1,2 @@ -nCicLibrary.cmi: nCicLibrary.cmo: nCicLibrary.cmi nCicLibrary.cmx: nCicLibrary.cmi