dede d0adf1a301 add docker_use_dist_repo variable + default ...

to decide for install source repo
and add to README

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

..

defaults

add docker_use_dist_repo variable + default

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

tasks

add docker_use_dist_repo variable + default

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