summaryrefslogtreecommitdiff
Commit message (Collapse)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