Skip to content

[localization] Change bold-slanted font, removes warning#350

Merged
zygoloid merged 1 commit intocplusplus:masterfrom
tkoeppe:latexwarnings
Dec 9, 2015
Merged

[localization] Change bold-slanted font, removes warning#350
zygoloid merged 1 commit intocplusplus:masterfrom
tkoeppe:latexwarnings

Commits

Commits on Dec 5, 2015