mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-25 02:49:46 +00:00
Bring back accidentally removed option
This commit is contained in:
parent
27e0279e24
commit
655cb7073d
@ -1027,6 +1027,7 @@ Font NotoMonoRegular
|
|||||||
ScaleOption scaled=$$val
|
ScaleOption scaled=$$val
|
||||||
Package noto-mono
|
Package noto-mono
|
||||||
PackageOption regular
|
PackageOption regular
|
||||||
|
OsfOption osf
|
||||||
MoreOptions 1
|
MoreOptions 1
|
||||||
EndFont
|
EndFont
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user