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 /Lints.md | |
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 'Lints.md')
0 files changed, 0 insertions, 0 deletions