Kornel Benko be4f5c8084 Amend 3dccce14: Tools(listFontWithLang.pl): Ignore white space while checking font name
Do not manipulate search strings which already contain regex elements.
2020-08-23 08:21:53 +02:00
..
2019-07-20 23:39:40 +02:00
2020-06-08 11:04:15 -04:00

Some scripts I found useful when working on LyX