diff uninstall.sh @ 316:8f49f36b76ef

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