diff INSTALL.py @ 55:1af052d74813

use correct font name
author Jeff Hammel <jhammel@mozilla.com>
date Mon, 13 Aug 2012 17:13:18 -0700
parents 3e1f069ac608
children
line wrap: on
line diff