diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-12-21 13:10:41 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-12-21 13:10:41 +0100 |
| commit | 03c781c1a60759622e772ac7fb6a167111ed0bea (patch) | |
| tree | 5208aec6c1c2e4fc24e962d85006811c414bab90 /minici.cabal | |
| parent | 30432ddadb796638b6ca8ee354e31b7c95daff58 (diff) | |
Diffstat (limited to 'minici.cabal')
| -rw-r--r-- | minici.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/minici.cabal b/minici.cabal index 2091053..c91800d 100644 --- a/minici.cabal +++ b/minici.cabal @@ -52,6 +52,7 @@ executable minici Config Job Paths_minici + Repo Version Version.Git autogen-modules: @@ -69,6 +70,7 @@ executable minici MultiParamTypeClasses MultiWayIf OverloadedStrings + RecordWildCards ScopedTypeVariables TupleSections TypeApplications |