Diego Rodriguez fd4e3392fc terraform: 0.12.28 -> 0.12.29		2020-07-25 17:22:08 -06:00
..
default.nix	terraform: 0.12.28 -> 0.12.29	2020-07-25 17:22:08 -06:00
provider-path.patch	terraform: manage 0.10 plugins with Nix	2017-08-30 18:35:26 -04:00