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/tools/presentation/generator_files.py | |
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/tools/presentation/generator_files.py')
0 files changed, 0 insertions, 0 deletions