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/generic_pluginui.cc | |
| parent | aaae93cae3a3587a4f2f05ee28e00d4e16989a3f (diff) | |
Require all terms of space-separated plugin search filter string
Diffstat (limited to 'gtk2_ardour/generic_pluginui.cc')
0 files changed, 0 insertions, 0 deletions