Skip to content
This repository
tag: v3517
Fetching contributors…

Cannot retrieve contributors at this time

file 5 lines (4 sloc) 0.241 kb
1 2 3 4 5
<*.{ml,mli,byte,native}>: use_str, warn_Z, use_graph
<*.{ml,mli,byte,native}>: use_libbase, use_compilerlib, use_libqmlcompil, use_qmlpasses, use_libbsl

<qmlSimpleSlicer{,2}.ml> : with_mlstate_debug
<qmlSimpleSlicer{,2}.*>: warn_A, warn_e
Something went wrong with that request. Please try again.