|Subject:||Re: Change grep -> lgrep, rgrep in Tools menu?|
|Date:||Wed, 30 Jan 2008 20:06:31 -0500|
Wouldn't it be better to have the simple commands `lgrep' and `rgrep' in the Tools menu rather than the more advanced command `grep'? I am not convinced it is better.
|[Prev in Thread]||Current Thread||[Next in Thread]|