diff options
author | stuebinm | 2022-02-10 18:12:06 +0100 |
---|---|---|
committer | stuebinm | 2022-02-11 22:25:09 +0100 |
commit | a50ad3901377b30c5188ff3ebd519f8b0457c5eb (patch) | |
tree | 568c45f71cb047d5f50d82e3452998b9d2dd8dec /walint.cabal | |
parent | 485af1d460be0979b7093da307f379ef088a98db (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 59abeee..4aad7ac 100644 --- a/walint.cabal +++ b/walint.cabal @@ -76,6 +76,7 @@ executable server , cli-git , containers , directory + , dotgen , extra , filepath , http-media |