diff dockerbuild.sh @ 114:35ea82e24988

Ignore a few more things
author Chris Cannam
date Tue, 26 Feb 2019 14:30:16 +0000
parents 76badb3a0bb3
children 169e04e81ea0
line wrap: on
line diff