diff options
| author | Alexander Holland <alexander.holland@live.de> | 2018-08-19 22:06:13 +0200 |
|---|---|---|
| committer | Alexander Holland <alexander.holland@live.de> | 2018-08-19 22:06:20 +0200 |
| commit | 5ba083ea1bf6517fc54d7306ba1cb0178ec830d7 (patch) | |
| tree | 523633441e2740df460025a52e2f805cc7a02676 /editor/plugins | |
| parent | 5d09877da8003740928502aead0b46505495721f (diff) | |
changed search help selection color
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions