diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2022-07-17 15:36:23 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-07-17 21:19:23 +0200 |
commit | 36eb3a419ec9d0434f55456090e2845d4ac20b58 (patch) | |
tree | f32d3ff500863a3528c1b4008b736c1cc77fb084 /erebos.cabal | |
parent | 1986e8f51b992edcc675e76edd5d1f85522b8e6d (diff) |
Set of mergeable items
Diffstat (limited to 'erebos.cabal')
-rw-r--r-- | erebos.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erebos.cabal b/erebos.cabal index 43aa81c..9489f20 100644 --- a/erebos.cabal +++ b/erebos.cabal @@ -29,6 +29,7 @@ executable erebos Pairing PubKey, Service + Set State, Storage, Storage.Internal |