Mercurial > mozilla > hg > ProfileManager
log
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:03:31 -0700 | Jeff Hammel | not sure how i committed this again :( |
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 |