changeset 17:d7d051611425

remove unused config file
author Jeff Hammel <jhammel@mozilla.com>
date Thu, 06 May 2010 11:47:33 -0700
parents c80d44e5ca41
children 8e651dd8e9ad
files profilemanager/config.py
diffstat 1 files changed, 0 insertions(+), 15 deletions(-) [+]
line wrap: on
line diff
--- 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
-