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 /server/Main.hs | |
| 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 '')
0 files changed, 0 insertions, 0 deletions