diff options
author | 2017-04-19 10:34:53 +0200 | |
---|---|---|
committer | 2017-04-20 09:03:56 +0000 | |
commit | f1ff5ff1049fd2750823273a3a92779e5fd6e1a5 (patch) | |
tree | 0278405f8cd758dec9dd68cffd1230e7bf825a5b /build-root/vagrant/update.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 'build-root/vagrant/update.sh')
0 files changed, 0 insertions, 0 deletions