diff options
Diffstat (limited to '')
| -rw-r--r-- | web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 | bin | 0 -> 143796 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 Binary files differnew file mode 100644 index 0000000..f2b469a --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 |