Last update: 2026-06-22T15:18:32.693+02:00 by Marcus Meyer (d8d10e3b):
Updated builder version
No description yet!
Install Docker and run:
$ docker run -p 8888:8888 registry.git.rwth-aachen.de/jupyter/profiles/js