Merge branch 'develop' of https://dev.e-taxonomy.eu/git/taxeditor into develop
[taxeditor.git] / eu.etaxonomy.taxeditor.navigation / src / main / java / eu / etaxonomy / taxeditor / navigation / search /
drwxr-xr-x   ..
-rw-r--r-- 1067 Messages.java
-rw-r--r-- 11106 SearchBar.java
-rw-r--r-- 4113 SearchResultLabelProvider.java
-rw-r--r-- 9888 SearchResultView.java