mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
0d84f0b9fd
A try to combine the style info and family into the font-name in such a way, that the features are not doubled.
Some scripts I found useful when working on LyX