diff options
| author | Pierre-Marie Pédrot | 2015-04-14 09:12:53 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-04-14 09:49:01 +0200 |
| commit | b1970f8644b32ae3069d6ef539d51e4f4576dc36 (patch) | |
| tree | 5554e236f58bfb7b199703e91b14ced1fb4d0bc2 /plugins | |
| parent | dc29a85d428d95fa3a3b1d30373f353436bf04a9 (diff) | |
Cleaning up the implementation of search entries in Hints.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions