diff options
author | 2020-02-27 12:30:19 +0100 | |
---|---|---|
committer | 2020-02-28 15:34:48 +0000 | |
commit | 8c85cc694fd4d69b0b36af768a638cca9d34b831 (patch) | |
tree | 8db3114b82069abdb71fcb83f2e060bb0fc8cf5f /docs/report/test_configuration/vpp_mrr_configuration | |
parent | 070500f1bf1f1da5264ccfcf2088797c2e8c5e0c (diff) |
bash: tolerate -dev as a package name
Misbehaving projects can create it, and apt thinks it is a cli option.
Change-Id: Icc42231e2d498f976281ce725373c6679fe61fa4
Signed-off-by: Vratko Polak <vrpolak@cisco.com>
Diffstat (limited to 'docs/report/test_configuration/vpp_mrr_configuration')
0 files changed, 0 insertions, 0 deletions