2025-11-28 09:55:41 +01:00 · 2025-11-28 09:55:41 +01:00 · 3a927a78f5
commit 3a927a78f5
parent fa770e7a8e
11 changed files with 17 additions and 29 deletions
--- a/include/dune
+++ b/include/dune
@ -0,0 +1,5 @@
+(library
+ (name include)
+ ; (wrapped false)
+ (modules taler_signatures)
+ (libraries))