diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2026-06-23 21:36:19 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2026-06-23 21:36:19 +0200 |
| commit | 4478fa105477ce6571bcf6f4271c0c1b4ff40e00 (patch) | |
| tree | fee389c20f5989ac55b2c0a63724f110e086ec4c /dune-project | |
| parent | 7a8d35a8a27f4492fbb021e583f30f9a96f10a25 (diff) | |
Updated the way to get the git commitmain
Diffstat (limited to 'dune-project')
| -rwxr-xr-x | dune-project | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dune-project b/dune-project index 1c1d66a..119f947 100755 --- a/dune-project +++ b/dune-project @@ -43,8 +43,6 @@ (>= 2.4)) (decoders (>= 1.0.0)) - (ounit - (>= 2.2.6)) (otoml (>= 1.0.1)) (re |