Last update: 2026-02-17T08:13:18.089+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/minimal