robert00s 8a9811804d Add Polish keyboard (#2319) ...

Add Polish keyboard


* Optimization

2016-11-06 02:01:28 -08:00

..

keyboardlayouts

Add Polish keyboard (#2319)

2016-11-06 02:01:28 -08:00

creoptions.lua

rename 'Highlight' to 'Highlight options' in menu

2016-05-14 12:20:01 +08:00

koptoptions.lua

fix some luacheck warnings

2016-06-28 00:43:23 +08:00

strings.lua

Various low-hanging language fruits

2016-10-17 10:19:33 -07:00