diff profilemanager/__init__.py @ 61:24782e4c70ca

now that we are case sensitive, correct case for getting options
author Jeff Hammel <jhammel@mozilla.com>
date Fri, 07 May 2010 12:07:11 -0700
parents 21bc82d8930a
children 145e111903d2
line wrap: on
line diff