add update properties pipeline
commit20da122936deddaa74e08c5de7034c7ced470b24
authorSebastian Hoß <mail@shoss.de>
Sun, 19 Feb 2017 16:51:54 +0000 (19 17:51 +0100)
committerSebastian Hoß <mail@shoss.de>
Sun, 19 Feb 2017 16:54:57 +0000 (19 17:54 +0100)
tree5506b839ab00da5c4802ed79552aefebea066bcb
parentab404cdfcc40eadb9b2338121cbda898ed233619
add update properties pipeline

Signed-off-by: Sebastian Hoß <mail@shoss.de>
build/jenkins/UpdateProperties [new file with mode: 0644]