diff INSTALL @ 104072:426c7a668b5d

Entry removed: ** "Options -> Save Options" should save the font set via "Set Font/Fontset"
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 26 Jul 2009 17:24:13 +0000
parents 76e34fe20234
children 75a1b898c727
line wrap: on
line diff