better if-not-match
This commit is contained in:
parent
98ba917cfb
commit
85b6dd38ae
167 changed files with 18509 additions and 109 deletions
11
.jjconflict-side-0/tools/dune
Normal file
11
.jjconflict-side-0/tools/dune
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
(executable
|
||||
(public_name offline)
|
||||
(name offline)
|
||||
(modules offline offline_impl)
|
||||
(libraries cmdliner bos fmt mirage-crypto ptime mte vif))
|
||||
|
||||
(executable
|
||||
(public_name gen_signatures_registry)
|
||||
(name gen_signatures_registry)
|
||||
(modules gen_signatures_registry)
|
||||
(libraries angstrom bos fmt))
|
||||
Loading…
Add table
Add a link
Reference in a new issue