This commit is contained in:
parent
8ba15cc89a
commit
e03d05ea1b
4 changed files with 0 additions and 7 deletions
|
|
@ -1,5 +0,0 @@
|
|||
(library
|
||||
(name include)
|
||||
; (wrapped false)
|
||||
(modules taler_signatures)
|
||||
(libraries))
|
||||
1
src/dune
1
src/dune
|
|
@ -10,7 +10,6 @@
|
|||
(modules :standard \ mte b32)
|
||||
(libraries
|
||||
b32
|
||||
include
|
||||
;
|
||||
caqti
|
||||
caqti-miou
|
||||
|
|
|
|||
|
|
@ -4,7 +4,6 @@
|
|||
|
||||
can we skip defining a specific record for signatures and directly use Api records? *)
|
||||
open Hash
|
||||
module Taler_signatures = Include.Taler_signatures
|
||||
|
||||
module Aliases = struct
|
||||
module Timestamp = struct
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue