summaryrefslogtreecommitdiff
path: root/roles
Commit message (Expand)AuthorAgeFilesLines
* Use ansible-pull to propagate changespull-basedJakob Odersky2017-12-044-0/+49
* Remove incomplete rolesJakob Odersky2017-12-0422-838/+0
* Initial commitHEADmasterJakob Odersky2017-12-0327-0/+928