dede 9e035289f5 set filename for docker repo

2024-01-07 12:46:02 +01:00

..

defaults

add docker_use_dist_repo variable + default

2023-10-06 20:46:22 +02:00

handlers

add handlers for docker role (unused yet)

2023-10-07 00:10:59 +02:00

tasks

set filename for docker repo

2024-01-07 12:46:02 +01:00