Michael 3cac19e089 Add a unique id to text filter facet checkboxes and labels.		2019-07-11 23:09:52 +02:00
..
modules/core	Add a unique id to text filter facet checkboxes and labels.	2019-07-11 23:09:52 +02:00
WEB-INF	Revert "Revert "Migrate to Maven""	2018-09-16 15:34:47 +01:00