Skip to main content

Browse the archive

Revision 5919da57d6cc59681a71a562780676efb1c50656 authored by Roberto Di Cosmo on 17 August 2011, 19:54:22 UTC, committed by Roberto Di Cosmo on 17 August 2011, 19:54:22 UTC 
Fixed missing dependency in META file, thanks to a report from Ashish
1 parent 3360634
Raw File
.depend 
parmap.cmo: parmap.cmi
parmap.cmx: parmap.cmi
parmap.cmi:
back to top