log profilemanager/manager.py @ 61:24782e4c70ca

age author description
Fri, 07 May 2010 12:07:11 -0700 Jeff Hammel now that we are case sensitive, correct case for getting options
Fri, 07 May 2010 12:02:33 -0700 Jeff Hammel check the correct way to see if the option is there
Fri, 07 May 2010 11:55:15 -0700 Jeff Hammel check for section; of course profile will not be none
Fri, 07 May 2010 11:52:06 -0700 Jeff Hammel * make options case-sensitive