Permalink
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (12 sloc) 282 Bytes
<**/*.ml> : annot
<**/*.ml> and not <libs/**.ml>: warn_-29
true: package(bytes), warn_-3, bin_annot
"build": include
"src": include
"libs": include
"testsuite": include
"qtest": include
"benchsuite": include
".git": -traverse
"examples": -traverse
<src/batOpaqueInnerSys.*>: opaque