Skip to main content

Browse the archive

Revision 5d50f7a5ab400ae857c0478fa29fa135954fb6ba authored by Romain Bardou on 31 March 2020, 12:36:43 UTC, committed by Pierre Boutillier on 31 March 2020, 14:09:42 UTC 
Babylon: remove context commands which are no longer useful
1 parent 29a0962
Raw File
dune 
(env
 (release
  (ocamlopt_flags (:standard -O3))))

(alias
 (name runtest)
 (deps (alias_rec runtest_lint)))
back to top