Sebastian Serth
|
7a63a9c1c1
|
Hide navigation elements in the UI based on policies
|
2018-12-12 14:09:19 +01:00 |
|
Sebastian Serth
|
56c59a616e
|
Completely remove old non-structured errors and migrate existing ones.
|
2018-11-30 11:27:25 +01:00 |
|
Sebastian Serth
|
efacb5a6a9
|
Completely remove old hints connected to the execution environment
|
2018-11-28 01:21:13 +01:00 |
|
Sebastian Serth
|
7bdb962616
|
Update Bootstrap to v4.1, fix chosen.js and pagedown on multiple sites
|
2018-11-06 16:49:41 +01:00 |
|
Maximilian Grundke
|
41b2c80b39
|
Merge remote-tracking branch 'origin/master' into statistics
|
2015-11-19 16:01:53 +01:00 |
|
Ralf Teusner
|
04e51caf7e
|
Show Poolsize on ExecutionEnvironments Index Page
|
2015-11-17 16:18:29 +01:00 |
|
Maximilian Grundke
|
78422647fe
|
Add execution environment statistics
|
2015-10-29 14:19:31 +01:00 |
|
Hauke Klement
|
9be0e12990
|
extended execution environments index
|
2015-03-17 17:14:46 +01:00 |
|
Hauke Klement
|
acf03b1f51
|
added pagination for all resources
|
2015-03-11 16:13:45 +01:00 |
|
Hauke Klement
|
4cbf9970b1
|
transferred Code Ocean from original repository to GitHub
|
2015-01-22 10:01:32 +01:00 |
|