log python/prefs.py @ 928:84543f2cda0d default tip

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