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