diff options
| author | Ralf Jung | 2020-10-22 21:16:58 +0200 |
|---|---|---|
| committer | Ralf Jung | 2020-10-26 11:33:04 +0100 |
| commit | a2ce4da4c2b0dc81d4c61f3e672d6c9d65dba46b (patch) | |
| tree | 0d052d37f25a4fbc6bdae1c95af98df70d4f3755 /plugins/syntax | |
| parent | fe095cd8b63e363e82953503cb84a851296c1965 (diff) | |
adjust Search deprecation warning
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions