diff options
author | 2019-02-12 09:03:15 +0000 | |
---|---|---|
committer | 2019-02-12 09:03:15 +0000 | |
commit | 20f37388a266773f54ae429f9416d96cd5ebe184 (patch) | |
tree | 75f4f648415994db8d8b40b904b4ae1a67ec7497 /src/plugins | |
parent | 8d5cb024aba0950fd7713b829f3c0cef51a6c59b (diff) |
correct libvppinfra name in 19.04/ubuntu
Change-Id: I23976a844a80198c566f047e9fa7ed615c6b75ed
Signed-off-by: drenfong.wang <drenfong.wang@intel.com>
Diffstat (limited to 'src/plugins')
0 files changed, 0 insertions, 0 deletions