|
|
8ce46d2cb8
|
Add a custom jquery-ui library for minimal mouse interaction support
|
2017-09-05 15:48:19 +02:00 |
|
|
|
e31675f136
|
Commit just for you, Ralf :)
|
2015-03-27 10:32:10 +01:00 |
|
|
|
0df7a6c48f
|
updated jsTree to 3.0.9
|
2015-03-10 11:41:57 +01:00 |
|
|
|
30edd5a575
|
updated Chosen to 1.4.0
|
2015-03-10 11:38:17 +01:00 |
|
|
|
7bf54e6a25
|
updated Ace
|
2015-03-02 09:41:09 +01:00 |
|
|
|
4cbf9970b1
|
transferred Code Ocean from original repository to GitHub
|
2015-01-22 10:01:32 +01:00 |
|
