2025-11-05 21:57:06 +01:00 · 2025-11-05 21:57:06 +01:00 · 82eefbb335
commit 82eefbb335
parent 928d68fdc5
1 changed files with 1 additions and 1 deletions
--- a/src/dune
+++ b/src/dune
@ -1,4 +1,4 @@
 (library
 (name mte)
 (wrapped false)
- (libraries logs h1 h2))
+ (libraries logs h2))