diff options
author | Marius Peter <marius.peter@tutanota.com> | 2025-05-29 16:30:24 +0200 |
---|---|---|
committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-29 16:30:24 +0200 |
commit | 21cbcf2e8b69403f3973fa19e5e96bee5ba870b7 (patch) | |
tree | 456af4ff0f2c75fe3ce2ad9375d5ad2f96166597 /lib/dune | |
parent | ffae61af1a13862ffc2bf9415313f5da3d90d38e (diff) |
Start work on Trees.
Making slow but steady progress... Bulldozer mindset.
Diffstat (limited to 'lib/dune')
-rw-r--r-- | lib/dune | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,5 +3,5 @@ (library (name ogit) (libraries dream dream-html git-unix toml) - (preprocess (pps dream-html.ppx))) - + (preprocess + (pps dream-html.ppx))) |