diff install-sh @ 466:9d2d99ae7b57 v1.0-linuxbuild

Docker build stuff
author Chris Cannam
date Mon, 13 Apr 2015 15:41:38 +0100
parents 158f40a613a5
children
line wrap: on
line diff