diff options
author | Robin Gareus <robin@gareus.org> | 2019-10-24 19:46:59 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-10-24 19:47:32 +0200 |
commit | 7664f8fd29793be09899cd1c94695a2a3880215f (patch) | |
tree | dbe2bbeec7159091abf771d910df61838cebb264 /gtk2_ardour/editor_videotimeline.cc | |
parent | aaae93cae3a3587a4f2f05ee28e00d4e16989a3f (diff) |
Require all terms of space-separated plugin search filter string
Diffstat (limited to 'gtk2_ardour/editor_videotimeline.cc')
0 files changed, 0 insertions, 0 deletions