comparison deploy/linux/docker/Dockerfile_v1.5_ubuntu1604 @ 399:a3912193ce69 tip

Default branch is now named default on git as well as hg, in case we ever want to switch to mirroring in the other direction
author Chris Cannam
date Thu, 27 Aug 2020 15:57:37 +0100
parents 929e37acf0d9
children
comparison
equal deleted inserted replaced
398:30c64a311d9c 399:a3912193ce69