Last update: 2026-05-19T11:53:30.258+02:00 by Marcus Meyer (a156370b):
Adjusted builder
No description yet!
Install Docker and run:
$ docker run -p 8888:8888 registry.git.rwth-aachen.de/jupyter/profiles/minimal