move stuff back

2025-11-28 09:55:41 +01:00 · 2025-11-28 09:55:41 +01:00 · af6f974b54
commit af6f974b54
parent fa770e7a8e
11 changed files with 17 additions and 29 deletions
--- a/tools/dune
+++ b/tools/dune
@ -0,0 +1,5 @@
+(executable
+ (public_name offline)
+ (name offline)
+ (modules offline)
+ (libraries cmdliner bos fmt mirage-crypto ptime mte))