diff options
Diffstat (limited to 'production')
-rw-r--r-- | production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml b/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml index ef7febe59..64efb6c60 100644 --- a/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml +++ b/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml @@ -97,10 +97,10 @@ <!-- for I or M build (which is the unusual case) the build directory and label are the same --> <property name="eclipseBaseDir" - value="R-4.12-201906051800" /> + value="S-4.13M1-201907111805" /> <property name="eclispeBaseLabel" - value="4.12" /> + value="4.13M1" /> <property name="platformURL" |