diff build/stop_git_bullshit.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 e7db039af540
children
line wrap: on
line diff