diff INSTALL.py @ 17:a78ab14ae376

separate thing to add options to its own function
author Jeff Hammel <jhammel@mozilla.com>
date Mon, 26 Mar 2012 12:04:49 -0700
parents b3023ba3c9ca
children 77dc5a0678c4
line wrap: on
line diff