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 /src/Version.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