diff options
| author |   Dave Barach <dave@barachs.net> | 2018-11-30 16:46:29 -0500 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2018-12-01 00:32:56 +0000 |
| commit | b2204671dad112e3195771854b4ef00bb388d4e6 (patch) | |
| tree | 85966f1700b7413747ed223aaf90f38537de367e /extras/vagrant/WELCOME | |
| parent | dd89173cc177f7130eca426eb4fa5737ec59c91d (diff) | |
Delete shared memory segment files when vpp starts
Should have been done this way years ago. My bad.
Change-Id: Ic7bf937fb6c4dc5c1b6ae64f2ecf8608b62e7039
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'extras/vagrant/WELCOME')
0 files changed, 0 insertions, 0 deletions