Skip to content

fix github font version and add alias (solves #373)#374

Merged
Thomas-Boi merged 1 commit intodevelopfrom
fix/373-github-plain
Dec 8, 2020
Merged

fix github font version and add alias (solves #373)#374
Thomas-Boi merged 1 commit intodevelopfrom
fix/373-github-plain

Commits

Commits on Dec 7, 2020