diff options
author | 2017-09-25 16:12:16 -0400 | |
---|---|---|
committer | 2017-09-25 22:09:19 +0000 | |
commit | d4c623eea44ed779b044edb706858044300ccb44 (patch) | |
tree | 7f9e691d7f0e0f541a108fe6270e2d230b25e355 /extras/vagrant/.gitignore | |
parent | 3d67449de523521a9bdbcd2e3a092ffc0e2281f7 (diff) |
Vagrant fails if Vagrantfile is a symlink on Windows 10.
- Revert Vagrantfile symlink to the default
- Update README and env.sh
Change-Id: Ib1a557b897e0217b162c31118a4c265769dd1760
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'extras/vagrant/.gitignore')
0 files changed, 0 insertions, 0 deletions