log python/prefs.py @ 912:5d9c08d2a090 default tip

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