Kristof De Langhe 87d468f9b9 66156: Hide tabbox on single tab, merged filtered- and configuration-search-page into one component and added configuration option to tabs

2019-11-19 14:42:58 +01:00

..

default/styles

fix dev build

2019-06-03 17:22:55 +02:00

mantis

66156: Hide tabbox on single tab, merged filtered- and configuration-search-page into one component and added configuration option to tabs

2019-11-19 14:42:58 +01:00