Roberto Cirillo 19068bf919 added user exclusion as web.xml param		2019-04-15 17:14:35 +02:00
..
defaults	set version to latest	2018-10-16 18:39:16 +02:00
files	dataminer: New workarounds to fix some broken behaviour.	2017-09-19 14:44:35 +02:00
tasks	another fix to the role that installs and configures dataminer.	2019-04-03 20:05:36 +02:00
templates	added user exclusion as web.xml param	2019-04-15 17:14:35 +02:00