diff options
| author |   Peter Mikus <pmikus@cisco.com> | 2019-08-12 06:11:10 +0000 |
|---|---|---|
| committer | Peter Mikus <pmikus@cisco.com> | 2019-08-12 06:11:10 +0000 |
| commit | 4929e57e9c8d721000adcbdf2bcbe0dc6952a831 (patch) | |
| tree | 14675bd9d7be22f3bfd123df84b18dc45a24c701 /resources/libraries/bash/shell | |
| parent | 42fdef709bc1b1b557ce6f74609c729ac00ab8c3 (diff) | |
FIX: Remove unwanted Jenkins dependency
Signed-off-by: Peter Mikus <pmikus@cisco.com>
Change-Id: I7a43c3183dc276fa5e4806f31a52cf5844792d4d
Diffstat (limited to 'resources/libraries/bash/shell')
0 files changed, 0 insertions, 0 deletions