# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1273171653 25200
# Node ID d7d051611425fe088c0c3762fbe90fdcbd2ae128
# Parent  c80d44e5ca413dd6d1ed77a92bce75685893fd1a
remove unused config file

diff -r c80d44e5ca41 -r d7d051611425 profilemanager/config.py
--- a/profilemanager/config.py	Thu May 06 11:23:23 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-"""
-objects + methods related to .ini objects
-"""
-
-# XXX do this inline as opposed to using e.g. martINI for portability
-# and ease of modification
-
-def dictionary(parser):
-    """
-    obtain a nested dictionary from an .ini file
-    """
-
-if __name__ == '__main__':
-    from pprint import pprint
-