summaryrefslogtreecommitdiff
path: root/walint.cabal
diff options
context:
space:
mode:
authorstuebinm2021-11-10 22:49:17 +0100
committerstuebinm2021-11-10 22:49:17 +0100
commit508f8885f6087f2c56b188cd0632a4fc39de0540 (patch)
tree95c8036e1d73ee2a0b20ef76d892d83927fd6243 /walint.cabal
parent5bb4079f7b2d576f67649c37874556e73dc8f68b (diff)
extra module for repository writeout
Diffstat (limited to 'walint.cabal')
-rw-r--r--walint.cabal1
1 files changed, 1 insertions, 0 deletions
diff --git a/walint.cabal b/walint.cabal
index fcb631b..069d8f3 100644
--- a/walint.cabal
+++ b/walint.cabal
@@ -27,6 +27,7 @@ library
hs-source-dirs: lib
exposed-modules:
CheckMap
+ WriteRepo
CheckDir
LintWriter
Properties