diff options
author | 2017-03-02 11:29:19 +0100 | |
---|---|---|
committer | 2017-03-06 16:17:21 +0000 | |
commit | 1b686409307d4c7b29ee3b065c4d010a275a0fd1 (patch) | |
tree | 04aefe1b97a95d1c7389d18a077e9360798996ba /.gitignore | |
parent | 80a7f0a81cf6bc58cd7567c7b5e1c75813b5fc0c (diff) |
make test: reset object registry if vpp dies
Change-Id: If0e30837e07a21f3912676f5147cb242d3d2b235
Signed-off-by: Klement Sekera <ksekera@cisco.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions