diff SCRIPTS/dockerbuild.sh @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents 3a8658f7e0b7
children
line wrap: on
line diff