comparison deploy/linux/docker/Dockerfile_v3.0.2_ubuntu1604 @ 2596:04d381f0d89a 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:58:56 +0100 (2020-08-27)
parents 38c40fe5135b
children
comparison
equal deleted inserted replaced
2595:72bab0a558c9 2596:04d381f0d89a