News for hackers. Stuff that matters.

A comment on Vim plugins I use. Parent comment

Re:Vim plugins I use by burntsushi on Monday July 02, 2018 @08:18AM (#17441008)
Small note: --vimgrep implies --no-heading, so you can drop --no-heading. :-)
[ Parent | on HN ]

There are no comments on this comment yet.