]> git.lyx.org Git - features.git/commitdiff
Moving lib/scripts/{GetOptions.pm,listFontWithLang.pl} to development/tools
authorKornel Benko <kornel@lyx.org>
Sat, 2 May 2020 11:40:26 +0000 (13:40 +0200)
committerKornel Benko <kornel@lyx.org>
Sat, 2 May 2020 11:40:26 +0000 (13:40 +0200)

No differences found