diff options
Diffstat (limited to '')
| -rw-r--r-- | common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.woff (renamed from common/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff) | bin | 65452 -> 65452 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/common/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff b/common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.woff Binary files differindex 628b6a5..628b6a5 100644 --- a/common/sphinx_rtd_theme/static/fonts/fontawesome-webfont.woff +++ b/common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.woff |