diff options
-rw-r--r-- | build/_common.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/_common.php b/build/_common.php index cf59c7d..43a460d 100644 --- a/build/_common.php +++ b/build/_common.php @@ -6,13 +6,13 @@ $options = array ( "BranchAndJDK" => array ( "emft.eclipse.org=------------,------------", - "0.7.1=HEAD,/opt/sun-java2-5.0", + "0.7.2=HEAD,/opt/sun-java2-5.0", "modeling.eclipse.org=------------,------------", - "0.7.1=HEAD,/opt/sun-java2-5.0", + "0.7.2=HEAD,/opt/sun-java2-5.0", "build.eclipse.org=------------,------------", - "0.7.1=HEAD,/opt/sun-java2-5.0", + "0.7.2=HEAD,/opt/sun-java2-5.0", ), /*define a regular expression to be used to collect the most recent |