Learn more about these different git repos.
Other Git URLs
No commits found
Metadata Update from @praiskup:
- Pull-request tagged with: review
What is tags file?
ctags output, I'm though not sure now it is a standard filename, even though I use it for years...
I tried fresh installation of vIm, and there's:
I'd love to have least tags in .gitignore...
Would you mind putting a comment to the .gitignore, that it is from ctags?
I'll do and push that, then. Thanks for having a look.
Merged as c745401
Pull-Request has been closed by praiskup