Diego Rodriguez 8761381344 terraform_0_13: 0.13.1 -> 0.13.2 (#96971)		2020-09-02 19:24:23 -05:00
..
default.nix	terraform_0_13: 0.13.1 -> 0.13.2 (#96971)	2020-09-02 19:24:23 -05:00
provider-path.patch	terraform: manage 0.10 plugins with Nix	2017-08-30 18:35:26 -04:00