Maximilian Grundke 8ce46d2cb8 Add a custom jquery-ui library for minimal mouse interaction support

2017-09-05 15:48:19 +02:00

..

ace

Commit just for you, Ralf :)

2015-03-27 10:32:10 +01:00

jstree

updated jsTree to 3.0.9

2015-03-10 11:41:57 +01:00

.keep

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

chosen.jquery.min.js

updated Chosen to 1.4.0

2015-03-10 11:38:17 +01:00

jquery-ui.min.js

Add a custom jquery-ui library for minimal mouse interaction support

2017-09-05 15:48:19 +02:00