Sebastian Serth c6882f9b96 Update Chosen

2018-02-18 23:53:04 +01: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

Update Chosen

2018-02-18 23:53:04 +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