Oliver Smith d160a73a41 contrib/jenkins.sh: run "make maintainer-clean" ... Related: OS#3047 Change-Id: I20997b986b24ced9bb8d6d66a66d5ec2bafd00f2		2019-07-10 11:57:27 +02:00
..
jenkins.sh	contrib/jenkins.sh: run "make maintainer-clean"	2019-07-10 11:57:27 +02:00