diff options
| author | Stephan Herrmann | 2012-01-31 11:04:48 +0000 |
|---|---|---|
| committer | Stephan Herrmann | 2012-01-31 11:04:48 +0000 |
| commit | 0daa7cd6a19a6e5bdade303942b486229b49fec4 (patch) | |
| tree | 064e8a4b8626dbf88aaa567aa92a036a3cec40f4 | |
| parent | b83d8326fd6938b6309750a06acf233784c6fe7e (diff) | |
| download | org.eclipse.objectteams-0daa7cd6a19a6e5bdade303942b486229b49fec4.tar.gz org.eclipse.objectteams-0daa7cd6a19a6e5bdade303942b486229b49fec4.tar.xz org.eclipse.objectteams-0daa7cd6a19a6e5bdade303942b486229b49fec4.zip | |
use new egit.fetchfactory with better support for checkout from a branchbuilds/201201310618
| -rw-r--r-- | releng/build-scripts/build/run.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties index 9603f31f8..d275b42a3 100644 --- a/releng/build-scripts/build/run.properties +++ b/releng/build-scripts/build/run.properties @@ -36,5 +36,5 @@ jdt.feature.version.next=3.7.2.v20120120-1415 #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 |