Re: ctags.1: Xr vgrind

[Klemens Nanni]

On Mon, Jul 15, 2019 at 10:40:46PM +0200, Ingo Schwarze wrote:
> Indeed, that's even better because it is really only relevant in
> the context of the ctags -v option.
OK kn