diff install.sh @ 315:5cee1ee030cb

Update some sub-repos.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 10 Aug 2015 18:32:45 -0700
parents 9056a39ef016
children 252fda0d7c60
line wrap: on
line diff