diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2017-02-12 21:37:30 -0500 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2017-02-14 15:57:03 +0000 |
| commit | 149745f95eec5b2e88685d0b08993d0f977f5935 (patch) | |
| tree | 5102b2967e5b55278c94198a2e25dbac878a9910 /build-root/vagrant/.gitignore | |
| parent | 0debfb1fa2be7fd736f9202b6c7946ef19465dd1 (diff) | |
Update default Vagrant box to Ubuntu 16.04, VPP-616
- Hand merge of ed0e49c5 and 46f133d5 into stable/1701
Change-Id: Ib7260f07d22e546c6a92fb713b61b7e5edf247c9
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'build-root/vagrant/.gitignore')
0 files changed, 0 insertions, 0 deletions