commit 0daa7cd6a19a6e5bdade303942b486229b49fec4
author Stephan Herrmann <sherrmann> Tue Jan 31 12:04:48 2012 +0100
committer Stephan Herrmann <sherrmann> Tue Jan 31 12:04:48 2012 +0100
tree 064e8a4b8626dbf88aaa567aa92a036a3cec40f4
parent b83d8326fd6938b6309750a06acf233784c6fe7e

use new egit.fetchfactory with better support for checkout from a branch

releng/build-scripts/build/run.properties

diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties
index 9603f31..d275b42 100644
--- a/releng/build-scripts/build/run.properties
+++ b/releng/build-scripts/build/run.properties
@@ -36,5 +36,5 @@
 #git.pde.build=org.eclipse.egit.fetchfactory_0.12.0.201108111757.jar
 # enhanced (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=365944):
 #git.pde.build=org.eclipse.egit.fetchfactory_0.12.0.201112072231.jar
-git.pde.build=org.eclipse.egit.fetchfactory_0.12.0.201201141247.jar
+git.pde.build=org.eclipse.egit.fetchfactory_0.12.0.201201311158.jar