Re: Respecifying the resource file

On July 9, 1999 at 10:23, Gunnar Hjalmarsson wrote:

> Not _all_ resource settings seem to be stored. My resource file includes
> the <NODOC> element, but when I added new messages without the -rcfile
> option, the documentation link appeared.
You found a bug.

        --ewh