diff options
author | Ed Warnicke <eaw@cisco.com> | 2016-05-06 12:58:31 -0500 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2016-05-07 12:58:55 +0000 |
commit | 30aff24e10610923d419c8f905e545f2c31d9c8c (patch) | |
tree | b74104b1575986b93ef4a847b2bb4fb9b952978b /build-root/deb/debian | |
parent | 393490e0f5b9791105616bde88024586ba5c0cc5 (diff) |
Small improvement to vagrant file
Change-Id: Ia85ed0ef55cb5da118289667d7b217d8890d487e
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'build-root/deb/debian')
0 files changed, 0 insertions, 0 deletions