From 9fedce00750533a9fa4f5ae0fa77392fdac6ceee Mon Sep 17 00:00:00 2001
From: peterdell <jac@wudsn.com>
Date: Sat, 7 Dec 2019 15:28:41 +0100
Subject: [PATCH] make 1.7.1.201909240025 the new default download

---
 com.wudsn.site.update/site.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/com.wudsn.site.update/site.xml b/com.wudsn.site.update/site.xml
index a977f3b0..818e9a41 100644
--- a/com.wudsn.site.update/site.xml
+++ b/com.wudsn.site.update/site.xml
@@ -3,10 +3,10 @@
    <description name="WUDSN IDE Update Site" url="http://www.wudsn.com/update">
       Central Update Site for WUDSN IDE
    </description>
-   <feature url="features/com.wudsn.ide.base.feature_1.7.0.201812301213.jar" id="com.wudsn.ide.base.feature" version="1.7.0.201812301213">
+   <feature url="features/com.wudsn.ide.base.feature_1.7.1.201909240025.jar" id="com.wudsn.ide.base.feature" version="1.7.1.201909240025">
       <category name="General"/>
    </feature>
-   <feature url="features/com.wudsn.ide.feature_1.7.0.201812301213.jar" id="com.wudsn.ide.feature" version="1.7.0.201812301213">
+   <feature url="features/com.wudsn.ide.feature_1.7.1.201909240025.jar" id="com.wudsn.ide.feature" version="1.7.1.201909240025">
       <category name="WUDSN IDE"/>
    </feature>
    <category-def name="WUDSN IDE" label="WUDSN IDE">