diff options
author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2023-10-16 00:21:01 +0200 |
---|---|---|
committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2023-10-16 00:21:01 +0200 |
commit | 2367a408fba36f2e95d91f8ac45a7907146d2769 (patch) | |
tree | 6c0deb003378e12f206244c59396fc254525cceb |
initial
-rw-r--r-- | dune | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -0,0 +1,5 @@ +(env + (dev) + (release + (ocamlopt_flags + (:standard -O3)))) |