diff options
author | Juan Linietsky <reduzio@gmail.com> | 2015-05-16 16:20:38 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2015-05-16 16:20:38 -0300 |
commit | 219dcaaa758af87c06ba8903cc984366da871912 (patch) | |
tree | 8f7aed7f0f0456a3622deaa9d7c2abcb1f4ad625 /tools/editor | |
parent | 70c2c7a3f90e501fa99c23feb2cc294df123adce (diff) | |
parent | c41ef699bc2d0054a71ba93c22004203b2c6a8ea (diff) |
Merge pull request #1901 from guilhermefelipecgs/add_ignore_tags
Ignore etags, ctags, gtags and cscope.
Diffstat (limited to 'tools/editor')
0 files changed, 0 insertions, 0 deletions