Re: problem with ignore

2000-03-13 Thread Thomas Roessler
On 2000-03-12 16:24:27 +0200, Mikko Hänninen wrote: > No, they use special kind of wildcards, it's not even shell > globbing. For them the rules are: > - "*" is a special entry which means "all headers" > - "something-" means that every header which starts with > "something-", eg. "ignore X-"

Re: problem with ignore

2000-03-12 Thread Mikko Hänninen
Eugene Lee <[EMAIL PROTECTED]> wrote on Sun, 12 Mar 2000: > So do the ignore/unignore commands deal with shell globbing only? No, they use special kind of wildcards, it's not even shell globbing. For them the rules are: - "*" is a special entry which means "all headers" - "something-" means that