Robby Findler e5698365c9 improved color preferences; this is the change that requires people to rename their preferences as explained on plt-scheme ... svn: r5996		2007-04-19 15:15:23 +00:00
..
HISTORY	improved color preferences; this is the change that requires people to rename their preferences as explained on plt-scheme	2007-04-19 15:15:23 +00:00