]> matita.cs.unibo.it Git - helm.git/blob - ocaml/logger/.depend
made executable again
[helm.git] / ocaml / logger / .depend
1 ui_logger.cmo: ui_logger.cmi 
2 ui_logger.cmx: ui_logger.cmi