Last update: 2026-02-06T15:20:10.241+01:00 by Marcus Meyer (cc19a647):
Delete previous profile
No description yet!
Install Docker and run:
$ docker run -p 8888:8888 registry.git.rwth-aachen.de/jupyter/profiles/base