diff INSTALL.py @ 7:aa411d9ff772 default tip

we dont really need which; it is a pain in the ass dep anyway
author Jeff Hammel <k0scist@gmail.com>
date Mon, 13 Apr 2015 15:47:46 -0700
parents e58db0f06ed8
children
line wrap: on
line diff