]> git.lyx.org Git - features.git/commit
Tools(listFontWithLang.pl): Ignore white space while checking font name
authorKornel Benko <kornel@lyx.org>
Sat, 22 Aug 2020 14:20:22 +0000 (16:20 +0200)
committerKornel Benko <kornel@lyx.org>
Sat, 22 Aug 2020 14:20:22 +0000 (16:20 +0200)
commit3dccce1411f644a67393d5805ade0c34c7fc0041
tree55eb8ab8887fb5deb96cd9157f3e85a85bfa5772
parentbc3e3e330f1aa6d42a60ff53021b4c824d65d7da
Tools(listFontWithLang.pl): Ignore white space while checking font name

This allows for instance to find 'Deja Vu' also if searching for 'dejavu'
development/tools/listFontWithLang.pl