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