summaryrefslogtreecommitdiffstats
path: root/typing/cmi_format.mli
AgeCommit message (Expand)Author
2014-05-07re-commit Leo's weak-dependencies pull requestJacques Garrigue
2014-05-02revert commit 14719Jacques Garrigue
2014-05-01weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell
2012-05-30merge with bin-annot: add missing filesFabrice Le Fessant