wip debug
This commit is contained in:
parent
08699487f1
commit
f1936f150d
166 changed files with 17619 additions and 15 deletions
7
.jjconflict-side-0/tools/dune
Normal file
7
.jjconflict-side-0/tools/dune
Normal file
|
|
@ -0,0 +1,7 @@
|
|||
(executable
|
||||
(public_name offline)
|
||||
(name offline)
|
||||
(modules offline offline_impl offline_sig)
|
||||
(libraries cmdliner bos fmt mirage-crypto ptime mte vif))
|
||||
|
||||
; todo depends on curl
|
||||
Loading…
Add table
Add a link
Reference in a new issue