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 /static/graphvizlib.wasm | |
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 '')
-rw-r--r-- | static/graphvizlib.wasm | bin | 0 -> 926921 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/static/graphvizlib.wasm b/static/graphvizlib.wasm Binary files differnew file mode 100644 index 0000000..2a7463b --- /dev/null +++ b/static/graphvizlib.wasm |