diff options
| author | stuebinm | 2022-02-10 18:12:06 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:26:19 +0100 |
| commit | 0d2ba6d9b66adb7755dc79fab4ac8f0d01d5db4a (patch) | |
| tree | 3d445b5aee2ba2970a16e760c48aea7a943fe486 /walint.cabal | |
| parent | cdb6329b6acaab0a15441554412d8f5ececece1b (diff) | |
server: present lint results in pretty html
(this is mostly a rewrite / translation of the django templates built
into rc3's hub)
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 1129e23..3881a7f 100644 --- a/walint.cabal +++ b/walint.cabal @@ -76,6 +76,7 @@ executable server , cli-git , containers , directory + , dotgen , extra , filepath , http-media |