Clear BIOS keyboard queue before pressing shift, add unknown key
[jpcrr.git] / scripts / 
tree8d68e5a9703445927ec8f2638799224a3a58abae
drwxr-xr-x   ..
-rw-r--r-- 20700 NHMLFixup.lua
-rwxr-xr-x 762 alldiffer.lua
-rwxr-xr-x 5287 encode.lua
-rwxr-xr-x 6232 translate-raw-input-to-keycodes