Kresnadi Budisantoso b13704634b Pull request #121: Clear search results on search panel close ...

Merge in RED/ui from RED-1130 to master

* commit '886f253fa15ef2f95a9dfc2033256725b7bc5660':
  Clear search results on search panel close

2021-03-11 16:52:07 +01:00

..

red-ui

Pull request #121: Clear search results on search panel close

2021-03-11 16:52:07 +01:00

.gitkeep

initial commit

2020-09-17 13:52:33 +03:00