rename api_sig.ml
This commit is contained in:
parent
153ee78260
commit
325ca30fed
6 changed files with 8 additions and 8 deletions
|
|
@ -1,7 +1,7 @@
|
|||
(executable
|
||||
(public_name offline)
|
||||
(name offline)
|
||||
(modules offline offline_impl offline_bin)
|
||||
(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