Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
8 lines (8 sloc) 347 Bytes
true: debug
<{batMutex,batRMutex}.{ml,mli}>: threads
<batteriesThread.*>: threads
"syntax/pa_comprehension" or "syntax/pa_strings": include
<batFingerTree.ml>: rectypes
<{batMap,batVect,batFile,batPervasives,batParserCo,batSet,batLogger,batPathGen,batSplay}.ml>: warn_z
<{batPervasives,batIMap,batLog}.ml>: warn_-9
<batteriesHelp.*>: compiler-libs
Jump to Line
Something went wrong with that request. Please try again.