Updates on the font (#764)

* Updates on the font

See discussion in #747

Fixes #747

* another update
pull/766/head
Christopher Chedeau 5 years ago committed by GitHub
parent 98c2b26118
commit dd2d7e1a88
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

Binary file not shown.

Binary file not shown.
Loading…
Cancel
Save