diff options
| author | Harald Welte <laforge@gnumonks.org> | 2017-07-10 15:00:00 +0200 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2017-08-27 02:33:48 +0200 |
| commit | e2e41c1e61977cac344ef3011c6f9a07ffeea10f (patch) | |
| tree | 2dcab4fba3acaabab5e07d0a587feca9144c9f3b /contrib/convert_to_enum.py | |
| parent | d34ed5768cccab57e879bd32f38872d290c9ae89 (diff) | |
jenkins.sh: Proper error message if local environment isn't set up
Change-Id: I79c2302365824d9c8783dadfa378c8eaa07e2ee7
Diffstat (limited to 'contrib/convert_to_enum.py')
0 files changed, 0 insertions, 0 deletions