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

..

dist.yml

move contents from sub directory to root

2023-10-06 17:49:16 +02:00

docker.yml

move contents from sub directory to root

2023-10-06 17:49:16 +02:00

main.yml

add docker_use_dist_repo variable + default

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