]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/ng_library/.depend
Inverters/Inversion:
[helm.git] / helm / software / components / ng_library / .depend
index 48127a32524c5ddf62190d9f5127650cbf289c7c..c76001c01994219bd09ad475a79d0e3b20568227 100644 (file)
@@ -1,3 +1,2 @@
-nCicLibrary.cmi: 
 nCicLibrary.cmo: nCicLibrary.cmi 
 nCicLibrary.cmx: nCicLibrary.cmi