diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2017-09-25 16:12:16 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2017-09-25 22:09:19 +0000 |
| commit | d4c623eea44ed779b044edb706858044300ccb44 (patch) | |
| tree | 7f9e691d7f0e0f541a108fe6270e2d230b25e355 /src/vppinfra | |
| 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 'src/vppinfra')
0 files changed, 0 insertions, 0 deletions