diff options
Diffstat (limited to '')
| -rw-r--r-- | web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff | bin | 0 -> 198060 bytes |
| -rw-r--r-- | web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 | bin | 0 -> 143796 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff Binary files differnew file mode 100644 index 0000000..20b681b --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff 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 |