Kornel Benko 3dccce1411 Tools(listFontWithLang.pl): Ignore white space while checking font name
This allows for instance to find 'Deja Vu' also if searching for 'dejavu'
2020-08-22 16:20:22 +02:00
..
2019-07-20 23:39:40 +02:00
2020-06-08 11:04:15 -04:00
2008-06-12 16:48:23 +00:00
2007-10-09 22:19:04 +00:00

Some scripts I found useful when working on LyX