diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2019-11-25 22:15:05 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2019-11-26 22:16:35 +0100 |
commit | a70628457a5ceccd37d1ba2e1791d4493b5a0502 (patch) | |
tree | 1daddb314ae7284f7e5c0c1e6308c19c681aedd1 /erebos.cabal | |
parent | dd4c6aeae1cf30035f3c7c3d52e58082f6b7aa36 (diff) |
Load and announce identity updates
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 c712d91..2124701 100644 --- a/erebos.cabal +++ b/erebos.cabal @@ -30,6 +30,7 @@ executable erebos Storage, Storage.Internal Storage.Key + Storage.Merge Util default-extensions: ExistentialQuantification |