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 /static/graphvizlib.wasm | |
| 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 '')
| -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 |