diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2020-06-02 18:33:32 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2020-06-02 18:33:32 +0200 |
| commit | b2fff1c0cb13d720e305f7835044da7360aab273 (patch) | |
| tree | 3d3b3062e87c9f16c5756ba723e22134e5a24d05 /plugins/localsearch/localsearch.plugin | |
| parent | 6c61efddf9080194115106d6eaec7e57df66e1a2 (diff) | |
Diffstat (limited to 'plugins/localsearch/localsearch.plugin')
0 files changed, 0 insertions, 0 deletions