Skip to content

Resize different fonts changing entry type#4980

Merged
tobiasdiez merged 4 commits intoJabRef:masterfrom davidemdot:fix-fonts-entry-typeMay 19, 2019