On Thu, Jan 20, 2000 at 15:01:56 +0100, Byrial Jensen wrote:
> 
> Except "unignore *" that just removes "*" from the ignore list
> if it is there, and else does nothing -- it doesn't remove all
> tokens from the ignore list as the manual says.

Ups, in fact it does. And "ignore *" removes all tokens from the
unignore list. Sorry for the confusion.

-- 
Byrial

Reply via email to