]> git.lyx.org Git - lyx.git/history - development/tools/GetOptions.pm
Adjust bookmark position when inserting/deleting from paragraph
[lyx.git] / development / tools / GetOptions.pm
2020-07-11 Kornel BenkoTools(listFontWithLang.pl): Allow the include of the...
2020-05-30 Kornel BenkoTools(listFontWithLang.pl): Remove padmaa from sans...
2020-05-21 Kornel BenkoTools(listFontWithLang.pl): Prohibit inserting multiple...
2020-05-21 Kornel BenkoTools(listFontWithLang.pl): Polishing
2020-05-18 Kornel BenkoTools(listFontWithLang.pl): Select fonts containig...
2020-05-16 Kornel BenkoTools(listFontWithLang.pl): Group related parameters...
2020-05-02 Kornel BenkoMoving lib/scripts/{GetOptions.pm,listFontWithLang...