|
|
5f0815b140
|
implemented pooling for Docker containers
|
2015-02-06 15:59:51 +01:00 |
|
|
|
d237a30bf2
|
Merge branch 'master' of github.com:openHPI/codeocean
|
2015-01-28 12:28:26 +01:00 |
|
|
|
dd624b26c8
|
started implementing teams
|
2015-01-28 12:28:09 +01:00 |
|
|
|
1cd525497a
|
fix minor typo in german locales
|
2015-01-28 11:18:10 +01:00 |
|
|
|
4cbf9970b1
|
transferred Code Ocean from original repository to GitHub
|
2015-01-22 10:01:32 +01:00 |
|
