Petr Zahradník d81e9ce7cb Add CHARSIZE to ignorelist		2018-02-15 20:23:02 +01:00
..
cmake
fonts
git
pin_interrupt_test
pixmaps/logo
scripts	Add CHARSIZE to ignorelist	2018-02-15 20:23:02 +01:00
sublime