Robby Findler 436b0e7c3c improved color preferences; this is the change that requires people to rename their preferences as explained on plt-scheme ... svn: r5996 original commit: e5698365c95ff97d34910efc59ef44c34362c772		2007-04-19 15:15:23 +00:00
collects	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
doc/release-notes/mred	369.9	2007-04-09 08:34:00 +00:00
man/man1	revise -singleInstance description to include hostname dependency	2007-02-28 04:13:10 +00:00