log python/prefs.py @ 929:7c4be71a560b default tip

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