drive-ops/global
2019-01-15 13:11:15 +01:00
..
overlay Merge pull request #4 from Gijutsu/master 2017-07-26 14:49:02 +00:00
post-tasks.d show which manifest is applied to lessen confusion 2019-01-15 13:11:15 +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