diff options
| author | Hugo Herbelin | 2020-05-11 17:41:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-15 18:21:58 +0200 |
| commit | 34237bb07fa8663d3d9e8ca4f9459f46841fd43d (patch) | |
| tree | bb514dfb7bd2e432264e5c7c502cfc2566df31a2 /plugins | |
| parent | 023d189aa201c8d5c71bc7de3e98725273d01b4f (diff) | |
Search: Displaying the "use About" notice only when really needed.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions