diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-18 21:22:31 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-19 23:26:39 +0200 |
| commit | f626ae18bddc6b5d2ba2fab4984e2219968e197b (patch) | |
| tree | a373eae745b6215ec35bc01218983c8749a75454 /erebos.cabal | |
| parent | aa83cb804105594d43c2002352f2b1d9f9db3c45 (diff) | |
Contacts in command context
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 6e6fd14..2b22604 100644 --- a/erebos.cabal +++ b/erebos.cabal @@ -59,6 +59,7 @@ executable erebos TypeFamilyDependencies other-extensions: ForeignFunctionInterface + OverloadedStrings RecursiveDo UndecidableInstances |