diff options
author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2019-11-06 11:32:33 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-06 11:32:33 -0500 |
commit | 72724911941efab7d44ecb226ca107b0ac22c62c (patch) | |
tree | 1378e01c370545fa6dd344d394a7aea01f911efc /pkgs/applications | |
parent | d1473e031e9feb711ee2de8f823a04b984a068cf (diff) | |
parent | 7622f30ed2115702e046b2fbd452a5d32af5c5fc (diff) |
Merge pull request #72373 from jlesquembre/pulumi-fix
pulumi: install providers and add update script
Diffstat (limited to 'pkgs/applications')
0 files changed, 0 insertions, 0 deletions