diff options
| author | poke1024 <poke1024@gmx.de> | 2017-12-05 19:43:20 +0100 |
|---|---|---|
| committer | poke1024 <poke1024@gmx.de> | 2017-12-06 23:01:17 +0100 |
| commit | ef49edc3873f050a8fdea18f683f216742661e74 (patch) | |
| tree | 9a7d497dd10e61e4866aea6cad8cd5137a1cb7a1 /editor/plugins | |
| parent | 1587f45c2551a43db2808f2c5938095e19f060d2 (diff) | |
Make "Search Help" more responsive
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions