From 0d2ba6d9b66adb7755dc79fab4ac8f0d01d5db4a Mon Sep 17 00:00:00 2001 From: stuebinm Date: Thu, 10 Feb 2022 18:12:06 +0100 Subject: server: present lint results in pretty html (this is mostly a rewrite / translation of the django templates built into rc3's hub) --- walint.cabal | 1 + 1 file changed, 1 insertion(+) (limited to 'walint.cabal') 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 -- cgit v1.2.3