log python/prefs.py @ 925:a92db57f62f8 default tip

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