GUI search: code cleanup + jDoc
authorNiki Roo <niki@nikiroo.be>
Fri, 19 Apr 2019 15:40:14 +0000 (17:40 +0200)
committerNiki Roo <niki@nikiroo.be>
Fri, 19 Apr 2019 15:40:14 +0000 (17:40 +0200)

No differences found