2 Commits

Author	SHA1	Message	Date
Ralf Teusner	8ba67c68c0	retrieve correct displaynames for users (from consumer if it is openHPI, otherwise use internal name)	2016-04-27 18:33:27 +02:00
Hauke Klement	4cbf9970b1	transferred Code Ocean from original repository to GitHub	2015-01-22 10:01:32 +01:00