somebody 9efbe381cf Move shortcuts to Alt from Ctrl

2022-12-16 16:47:22 -06:00

..

open-iconic

Basic file browser with edit and delete functionality

2022-06-30 09:44:04 -04:00

swagger-ui

…

application.js

Move shortcuts to Alt from Ctrl

2022-12-16 16:47:22 -06:00

bootstrap-toggle.min.css

…

bootstrap-toggle.min.js

…

bootstrap.min.css

…

bootstrap.min.js

…

custom.css

Add Repetition Penalty to Samplers menu

2022-08-23 15:42:23 -04:00

favicon.js

Update for execution time timer

2022-08-18 19:10:18 -04:00

jquery-3.6.0.min.js

…

jquery-ui.sortable.min.css

…

jquery-ui.sortable.min.js

…

open-iconic-bootstrap.min.css

…

open-iconic.woff

Constant world info keys

2021-08-24 13:45:20 -04:00

rangy-core.min.js

…

socket.io.min.js

…

thinking.gif

…