Diego Rodriguez 6449c5eee5 terraform: 0.13.0-rc1 -> 0.13.0 (#95135)		2020-08-11 10:54:46 +00:00
..
default.nix	terraform: 0.13.0-rc1 -> 0.13.0 (#95135)	2020-08-11 10:54:46 +00:00
provider-path.patch	terraform: manage 0.10 plugins with Nix	2017-08-30 18:35:26 -04:00