diff options
author | Florin Coras <fcoras@cisco.com> | 2020-10-12 18:39:44 -0700 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2020-10-13 16:49:56 +0000 |
commit | aae177e00263a510240fdd754f98685264d6cad3 (patch) | |
tree | aebc6e0f27338ba0afb69f77303363dd1fb2be7f /extras/vagrant/env.sh | |
parent | 148c7b768721231325a349fa82db693190513b53 (diff) |
session: allow custom config of segment baseva
Type: improvement
Change-Id: If9ea09d652c228004492cf47854a7f6c1f8b3bc2
Signed-off-by: Florin Coras <fcoras@cisco.com>
Diffstat (limited to 'extras/vagrant/env.sh')
0 files changed, 0 insertions, 0 deletions