comparison python/prefs.py @ 800:8275fa887f2b

cleanup + renaming
author Jeff Hammel <k0scist@gmail.com>
date Fri, 28 Oct 2016 16:11:24 -0700
parents 31a41264d51f
children
comparison
equal deleted inserted replaced
799:dbd2562cb03e 800:8275fa887f2b