log python/prefs.py @ 927:6ebd7de4d85e default tip

age author description
2011-05-31 Jeff Hammel add a naive prefs reader