diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-12-14 10:52:52 +0100 |
---|---|---|
committer | osmith <osmith@sysmocom.de> | 2019-01-09 14:33:35 +0000 |
commit | 0fec28a5063c5461a52d5a9d2e9250e66ca3746b (patch) | |
tree | ea88e77f1a75b6d409ca1e1b5fef3932b08f0407 /contrib/jenkins.sh | |
parent | d6e24fd15559f42266b68298c3ac9020a0752c43 (diff) |
msc_vty.c: make check-imei-rqd configurable
Related: OS#3189
Change-Id: Iee516b9cd7877b21207ce9a6d954109f19558163
Diffstat (limited to 'contrib/jenkins.sh')
0 files changed, 0 insertions, 0 deletions