Last update: 2026-10-16T11:22:41.762+02:00 by Marcus Meyer (65b47c0c):
Added new profile 'mlor'
No description yet!
Install Docker and run:
$ docker run -p 8888:8888 registry.git.rwth-aachen.de/jupyter/profiles/cling