diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-25 19:25:38 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-25 19:25:38 +0200 |
| commit | 68a01545bf9de1d614490a2bdb0cca8f3b1ff7f5 (patch) | |
| tree | c2370e4121100a905f5c99c6cfe53fad54158bec /lib/dune | |
| parent | d5d725630fb8eca2b8eb79a479044646f312b056 (diff) | |
Add TOML config management.
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1,5 +1,3 @@ (library (name ogit) - (libraries dream dream-html git git-unix) - (preprocess - (pps lwt_ppx))) + (libraries dream dream-html git-unix toml)) |