From 346d17a1f4c78a05fb1fe010eb1a9e646c8b04a3 Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Sat, 15 Mar 2025 19:17:14 +0100 Subject: Great work today, again! --- lib/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index 076d7c6..3963ffd 100644 --- a/lib/dune +++ b/lib/dune @@ -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))) -- cgit v1.2.3