comparison src/intervals.h @ 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 e038c1a8307c
children 85fd976607be
comparison
equal deleted inserted replaced
104071:b5279fa5497b 104072:426c7a668b5d