diff SCRIPTS/Dockerfile @ 100:793467b5e61c

Don't use subrepos, they're too fragile. Just use a list of repos and a script instead.
author Chris Cannam
date Fri, 04 Sep 2015 12:01:02 +0100
parents 1c31fd7b4cb5
children
line wrap: on
line diff