Tamius Han ec6dfadb41 Some basic settings for keyboard shortcuts.		2017-12-30 20:53:15 +01:00
..
settings.html	Some basic settings for keyboard shortcuts.	2017-12-30 20:53:15 +01:00
settings.js	Some basic settings for keyboard shortcuts.	2017-12-30 20:53:15 +01:00
settings.js.old	Some basic settings for keyboard shortcuts.	2017-12-30 20:53:15 +01:00