This repository was archived by the owner on Nov 1, 2020. It is now read-only.

Fix "No results found" tooltip#415

Merged

MorrisJobke merged 2 commits intomasterfrom

fix-no-results-found-tooltip

Mar 23, 2018

Commits on Mar 22, 2018