summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Use ansible-pull to propagate changespull-basedJakob Odersky2017-12-048-13/+77
* Remove incomplete rolesJakob Odersky2017-12-0425-1187/+1
* Initial commitHEADmasterJakob Odersky2017-12-0332-0/+1291