diff configure @ 466:9d2d99ae7b57 v1.0-linuxbuild

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