Fix jenkins build
1 parent e2b39f7 commit 6b7bb49567b7ab0373cfabbd698257fb8e23fc5f
rnentjes authored on 22 Apr 2013
Showing 2 changed files
View
script/build.xml
View
script/default.properties