diff INSTALL.py @ 1:1981f44ca250 default tip

remove unneeded files
author Jeff Hammel <jhammel@mozilla.com>
date Sun, 18 Mar 2012 20:39:23 -0700
parents c8c2d98afc98
children
line wrap: on
line diff