diff etc/edt-user.el @ 110065:b0de94d21a73

Bump custom version of some user options of which the default values changed.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Tue, 31 Aug 2010 04:22:49 +0000
parents 1d1d5d9bd884
children 376148b31b5e
line wrap: on
line diff