Harald Welte 0b1b6b1f1e jenkins.sh: Proper error message if local environment isn't set up ... Change-Id: I5251ba148f36014f70ce2838caff70062c1a3db1		2017-08-15 20:03:41 +02:00
..
systemd	Add systemd service file	2017-05-03 18:57:23 +02:00
jenkins.sh	jenkins.sh: Proper error message if local environment isn't set up	2017-08-15 20:03:41 +02:00