Skip to content

[search] Allow user to hit ENTER for updating the search; Be more flexible with …

André Anjos requested to merge issue_424 into master

…search terms (closes #424 (closed))

Merge request reports