|
Changes
- Now allows user to use pipe notation in the search bar. Fixed usage of
(details / githubweb)
- Fixed edge case in the filtering mechanism: when filter string is empty.
(details / githubweb)
Changes
- Now allows user to use pipe notation in the search bar. Fixed usage of
(details / githubweb)
- Fixed edge case in the filtering mechanism: when filter string is empty.
(details / githubweb)
|