Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove duplicated fonts and put them under /fonts/ #9718

Merged
merged 4 commits into from
Mar 7, 2018
Merged

Remove duplicated fonts and put them under /fonts/ #9718

merged 4 commits into from
Mar 7, 2018

Commits on Mar 6, 2018

  1. Remove duplicated fonts and put them under /fonts/ 

    This patch removes the duplicated fonts we have in the repository
by copying them under /fonts/ and removing the duplicates.
The paths are updated accordingly to point to the new location.

In addition this patch moves the content of /css/fonts/ under /fonts/,
so there is a single common "fonts" folder on the repository.
    @mrego
    mrego committed Mar 6, 2018
    Configuration menu
    Copy the full SHA
    e0ced60 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2018

  1. fixup! Remove duplicated fonts and put them under /fonts/

    @gsnedders
    gsnedders committed Mar 7, 2018
    Configuration menu
    Copy the full SHA
    007e29f View commit details
    Browse the repository at this point in the history

  2. fixup! fixup! Remove duplicated fonts and put them under /fonts/

    @gsnedders
    gsnedders committed Mar 7, 2018
    Configuration menu
    Copy the full SHA
    0d5c89e View commit details
    Browse the repository at this point in the history

  3. fixup! fixup! fixup! Remove duplicated fonts and put them under /fonts/

    @gsnedders
    gsnedders committed Mar 7, 2018
    Configuration menu
    Copy the full SHA
    ba3f101 View commit details
    Browse the repository at this point in the history