diff install.sh @ 294:8bc056d80c39

Remove unused stuff, add grepping, shorter status line.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 02 Apr 2015 08:00:31 -0700
parents 6938fb0146f5
children 9056a39ef016
line wrap: on
line diff