Diego Rodriguez 25e2e677d3 terraform_0_13: 0.13.3 -> 0.13.4		2020-09-30 18:31:48 -06:00
..
default.nix	terraform_0_13: 0.13.3 -> 0.13.4	2020-09-30 18:31:48 -06:00
provider-path.patch	terraform: manage 0.10 plugins with Nix	2017-08-30 18:35:26 -04:00