diff options
author | stuebinm | 2021-11-10 22:49:17 +0100 |
---|---|---|
committer | stuebinm | 2021-11-10 22:49:17 +0100 |
commit | 508f8885f6087f2c56b188cd0632a4fc39de0540 (patch) | |
tree | 95c8036e1d73ee2a0b20ef76d892d83927fd6243 /walint.cabal | |
parent | 5bb4079f7b2d576f67649c37874556e73dc8f68b (diff) |
extra module for repository writeout
Diffstat (limited to '')
-rw-r--r-- | walint.cabal | 1 |
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 |