Skip to main content

Browse the archive

Revision c059d66e6f908228024344a830829b8a1c12ddaf authored by Marco Stronati on 19 September 2019, 12:53:50 UTC, committed by Marco Stronati on 20 September 2019, 13:54:05 UTC 
Doc: add september release page
1 parent 4086d71
Raw File
dune 
(env
 (dev
  (flags (:standard)))
 (release
  (flags (:standard -O3))))

(alias
 (name runtest)
 (deps (alias_rec runtest_lint)))

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