|
From: | Richard M. Stallman |
Subject: | Re: fancy-splash-screen customize group... |
Date: | Sun, 11 Dec 2005 00:03:28 -0500 |
In as far as finding options is concerned, the best way to find options is customize-browse. _That_ is the one we should emphasize. Can you propose a patch to the manual to make this more prominent?
[Prev in Thread] | Current Thread | [Next in Thread] |