SETUP: default to mintty

[Warren Young]

On 7/26/2011 1:36 PM, Andy Koppe wrote:
> Regarding Warren's effort, the challenge is that it still needs to
> look good at 16x16.

It's rather lazy to simply create the 16x16 by scaling down the 256x256. 
  It'd be better to take the existing 16x16 and package it with my 
256x256, since the current 16x16 is better fit for purpose.

In my own icons, I have in the past almost completely redrawn the 16x16 
pixel by pixel to make it look good.