Merge pull request #58 from adatario/main

metrix-unix: Only use mtime.clock.os
mirage · Nov 22, 2022 · 995eb18 · 995eb18
2 parents 57220f4 + 98f05cd
commit 995eb18
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/unix/dune b/src/unix/dune
@@ -2,5 +2,4 @@
   (name        metrics_gnuplot)
   (public_name metrics-unix)
   (wrapped     false)
-  (libraries   lwt.unix metrics fmt uuidm unix mtime mtime.clock
-               mtime.clock.os))
+  (libraries   lwt.unix metrics fmt uuidm unix mtime mtime.clock.os))