diff install.sh @ 316:8f49f36b76ef

Merge changes.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 10 Aug 2015 18:33:09 -0700
parents 9056a39ef016
children 252fda0d7c60
line wrap: on
line diff