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