diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2020-02-27 12:30:19 +0100 |
|---|---|---|
| committer | Vratko Polak <vrpolak@cisco.com> | 2020-02-28 15:34:48 +0000 |
| commit | 8c85cc694fd4d69b0b36af768a638cca9d34b831 (patch) | |
| tree | 8db3114b82069abdb71fcb83f2e060bb0fc8cf5f /resources/libraries/bash/config | |
| 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 'resources/libraries/bash/config')
0 files changed, 0 insertions, 0 deletions