Re: [PATCH 2/2] grep -P: allow optional argument specifying the pager (or editor)
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Mar 26, 2010, 10:50 UTC
- Message-ID
- <alpine.DEB.1.00.1003261149580.7596@pacific.mpi-cbg.de>
- In-Reply-To
- <alpine.DEB.1.00.1003261149270.7596@pacific.mpi-cbg.de>
Hi,
the subject should read "grep -O...", of course.
Sorry, Dscho