Debian
grep package

  1. Bug #15051
  2. Comment #3

Comment 3 for bug 15051

Revision history for this message
Vassilis Pandis (pandisv) wrote :

By the way, the -P option is also shown in `grep --help`.