log python/prefs.py @ 924:fc88a12acf48 default tip

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