grossmj 0e89ff56a8 Replace "Docker hub" by "Docker repository" because it is possible to use different repositories		2025-04-16 17:42:40 +07:00
..
resources	Fix errors in init.sh. Fixes #2431	2024-10-22 12:18:28 +10:00
__init__.py	Replace "Docker hub" by "Docker repository" because it is possible to use different repositories	2025-04-16 17:42:40 +07:00
docker_error.py	Raise an error if image is missing on compute	2016-06-07 15:34:04 +02:00
docker_vm.py	Replace "Docker hub" by "Docker repository" because it is possible to use different repositories	2025-04-16 17:42:40 +07:00