diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-03-15 19:17:14 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-03-15 19:17:14 +0100 |
| commit | 346d17a1f4c78a05fb1fe010eb1a9e646c8b04a3 (patch) | |
| tree | f1151c0e5bb1649158735a219e0744e11f3015b3 /lib/dune | |
| parent | 55993c4d0857aec8a372aee989aaeef61ea37b3c (diff) | |
Great work today, again!
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ (library (name ogit) - (libraries unix dream dream-html git git-unix) + (libraries dream dream-html git git-unix) (preprocess (pps lwt_ppx))) |