+ clean up

2025-11-30 21:24:08 +01:00 · 2025-11-30 21:24:08 +01:00 · b47d0b889c
commit b47d0b889c
parent 8456a873bb
3 changed files with 67 additions and 71 deletions
--- a/tools/dune
+++ b/tools/dune
@ -1,5 +1,7 @@
 (executable
 (public_name offline)
 (name offline)
- (modules offline offline_bin)
+ (modules offline offline_impl offline_bin)
 (libraries cmdliner bos fmt mirage-crypto ptime mte vif))
+
+; todo depends on curl