HomeSoftware Heritage

Move docker-image variable to docker_image

Description

Move docker-image variable to docker_image

Details

Provenance
olasdAuthored on Mar 27 2020, 4:34 PM
olasdPushed on Mar 28 2020, 12:56 PM
Parents
rCJSWH363c199e9c76: Finish the docker-image variable refactoring
Branches
Unknown
Tags
Unknown