diff options
| author |   Victor Morales <victor.morales@intel.com> | 2018-04-03 10:39:21 -0700 |
|---|---|---|
| committer | Victor Morales <victor.morales@intel.com> | 2018-04-03 10:39:21 -0700 |
| commit | f3ea32005aafd12f539e476315e8936e802e4c52 (patch) | |
| tree | 282579e09cadac36da69820ad30647017dfe20a1 /.gitignore | |
| parent | 294a3567d7363e2cac4cb6be8cb5aac7b7b9d1f0 (diff) | |
Revert Default vagrant provider
Vagrant client has changed the DEFAULT_SERVER_URL string type for a
constant[1]. This change is available since v2.0.3 and causes an
error in those clients so it's necessary to revert the change
I069eae9370ecdf1483098528cee57d9b3e81a41b which modifies that value.
[1] https://github.com/hashicorp/vagrant/commit/f2bf18e56be36ed4bfbfe42fe20ab9147910ab3f
Change-Id: I153a7adb9322244c34a55dd884cb75e158dfd54d
Signed-off-by: Victor Morales <victor.morales@intel.com>
Issue-ID: INT-434
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,3 +6,4 @@ etc/settings.yaml opt/* tests/installed-software* tests/remaining_projects.txt +*.vdi |