diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-02-02 18:56:47 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-02-02 18:56:47 +0100 |
| commit | e92e763e06d58a03224189d53044c4f5e1f907f0 (patch) | |
| tree | aa0f3707d500fa883e6129d3f99da4b530e2011a /lib/dune | |
| parent | aacec6588c3aebffda6c6221b02622576c85c407 (diff) | |
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 dream dream-html git-unix) + (libraries dream dream-html git git-unix) (preprocess (pps lwt_ppx))) |