Cesar Costas 4471fc9595 Update commands.js ... Being a popular option in Github to squash and merge, it would be interesting to add support for this option		2022-11-29 23:01:57 +00:00
..
js	Update commands.js	2022-11-29 23:01:57 +00:00
levels	fix korean translaction	2022-11-12 04:08:49 +09:00
style	Accessibility: Levels are links	2022-10-19 11:52:33 +02:00
template.index.html	Changed to 'javascript:void(0)'	2022-10-20 17:35:05 +02:00