Bram Moolenaar 8c5e0093c9 patch 8.1.0311: filtering entries in a quickfix list is not easy ...

Problem:    Filtering entries in a quickfix list is not easy.
Solution:   Add the cfilter plugin. (Yegappan Lakshmanan)

2018-08-21 19:22:23 +02:00

..

dist/opt

patch 8.1.0311: filtering entries in a quickfix list is not easy

2018-08-21 19:22:23 +02:00