Neels Hofmeyr 6458c30db4 jenkins.sh: build both with checked-in and regenerated asn1 code ... Change-Id: Ifc3e1ae25b66203b0e8def0a9a0b6971b9c3ce93		2016-07-12 00:44:18 +02:00
..
jenkins.sh	jenkins.sh: build both with checked-in and regenerated asn1 code	2016-07-12 00:44:18 +02:00