Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tag: v1020
Fetching contributors…

Cannot retrieve contributors at this time

16 lines (13 sloc) 0.505 kb
<*.{ml,byte,native}>: use_graph
<upgrade_db.{ml,byte,native}>: use_libnet, use_appruntime, use_libtools, use_libsecurity, use_database
<dbGenHelpers.ml>: use_opacapi
<dbGenByPass.ml>: use_opacapi
<dbGen_common.ml>: use_opacapi
<schema_private.ml>: use_opacapi
<schema_io.ml>: use_opacapi
# ppdebug
<dbGen_common.ml> : with_mlstate_debug
<schema_private.ml> : with_mlstate_debug
<dbGen_private.ml> : with_mlstate_debug
<dbGenByPass.ml> : with_mlstate_debug
<dbGenHelpers.ml> : with_mlstate_debug
Jump to Line
Something went wrong with that request. Please try again.