log python/prefs.py @ 930:2743f47381e3 default tip

age author description
Tue, 31 May 2011 15:34:36 -0700 Jeff Hammel add a naive prefs reader