diff options
| author |   Milan Lenco <milan.lenco@pantheon.tech> | 2017-04-19 10:34:53 +0200 |
|---|---|---|
| committer |   Damjan Marion <dmarion.lists@gmail.com> | 2017-04-20 09:03:56 +0000 |
| commit | f1ff5ff1049fd2750823273a3a92779e5fd6e1a5 (patch) | |
| tree | 0278405f8cd758dec9dd68cffd1230e7bf825a5b /extras/vagrant/install.sh | |
| parent | 24beb840400adcdd0fbcd85727ab1a2fa7040dca (diff) | |
Temporary workaround for the bug VPP-698.
Change-Id: I220b0b95449f24cc547206e38ab8e10019115ec0
Signed-off-by: Milan Lenco <milan.lenco@pantheon.tech>
Diffstat (limited to 'extras/vagrant/install.sh')
0 files changed, 0 insertions, 0 deletions