Files
codeocean/app/helpers
Sebastian Serth c32e7586cd Remove consumer_id from session
* Each external (and also internal) user has a consumer attached. We don't need that information twice.
2020-11-25 21:19:18 +01:00
..
2015-03-10 17:15:13 +01:00
2020-11-25 21:19:18 +01:00
2020-03-25 14:40:26 +01:00