2025-11-20 23:14:16 +01:00 · 2025-11-20 23:14:16 +01:00 · 6e2fc3da28
commit 6e2fc3da28
parent a774ea11ac
7 changed files with 12 additions and 13 deletions
--- a/include/dune
+++ b/include/dune
@ -1,10 +0,0 @@
-(library
- (name include)
- ; (wrapped false)
- (modules taler_signatures)
- (libraries))
-
-(library ; todo: should I have a /lib?
- (name parse_config)
- (modules parse_config)
- (libraries mirage-crypto-ec ptime fmt angstrom uri amount b32))