diff options
Diffstat (limited to 'doc/tech-notes/config.html')
-rw-r--r-- | doc/tech-notes/config.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tech-notes/config.html b/doc/tech-notes/config.html index 6a6cabc5..d448cdac 100644 --- a/doc/tech-notes/config.html +++ b/doc/tech-notes/config.html @@ -312,7 +312,7 @@ is somewhat related to this option. <P> In addition to a list of actual addresses, -you may use regular expressions (as used with egrep with the ignore case flag) +you may use regular expressions (as used with grep -E with the ignore case flag) to describe the addresses you want to match. <EM>Alpine</EM> will somewhat arbitrarily interpret your entry as a regular expression if it contains any of the characters |