diff options
| author | Thomas Letan <lthms@soap.coffee> | 2022-08-30 22:30:31 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2022-08-30 22:30:43 +0200 |
| commit | e3dcfef6987c84188bc3933136ffa53df953b81a (patch) | |
| tree | 1f9f56daa4e6bb3411c5ce097fe580a4c54217eb | |
| parent | Introduce a command to jump to a given window (diff) | |
Force to build in release mode
OCaml compiler is /fast/.
| -rw-r--r-- | dune-workspace | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dune-workspace b/dune-workspace new file mode 100644 index 0000000..ffafd6d --- /dev/null +++ b/dune-workspace @@ -0,0 +1,3 @@ +(lang dune 3.0) +(context default) +(profile release)
\ No newline at end of file |