From: David Chart (email@example.com)
Date: Tue Jul 23 2002 - 13:35:20 EDT
On Mon, 2002-07-22 at 13:45, Jesper Skov wrote:
> David, if you maintain some docs for how to tweak the preferences, you
> may want to mention the color settings there.
I don't, but it would be a good idea. Which options do you tweak for
this, and how?
-- David Chart
This archive was generated by hypermail 2.1.4 : Tue Jul 23 2002 - 13:42:15 EDT