Tommaso Piccioli f1d313dfd6 minor fix		2019-02-21 13:40:22 +01:00
..
kill-rogue-jobs	library/roles/rstudio-server: Optionally install script and cron job to kill abuser processes. See https://support.d4science.org/issues/6941	2017-06-06 19:47:22 +02:00
tomcat_checkandstart	minor fix	2019-02-21 13:40:22 +01:00