drive-ops/global
2019-01-15 13:10:46 +01:00
..
overlay Merge pull request #4 from Gijutsu/master 2017-07-26 14:49:02 +00:00
post-tasks.d remove unused reports that take about 2s per run to create 2019-01-15 13:10:46 +01:00
pre-tasks.d Do not fetch puppet deb over http, instead do as seen in eduID 2016-08-27 23:51:58 +02:00