update URLs

JOSM · Sep 17, 2017 · 0e20515 · 0e20515
1 parent 9d33ba8
commit 0e20515
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build.xml b/build.xml
@@ -24,6 +24,7 @@
             <attribute name="7636_Plugin-Url" value="https://github.com/Gnonthgol/JOSM-continuos-download/releases/download/v1.1.02/continuosDownload.jar" />
             <attribute name="8942_Plugin-Url" value="https://github.com/JOSM/JOSM-continuos-download/releases/download/v1.2.2/continuosDownload.jar" />
             <attribute name="10282_Plugin-Url" value="https://github.com/JOSM/JOSM-continuos-download/releases/download/v1.2.3/continuosDownload.jar" />
+            <attribute name="10580_Plugin-Url" value="https://github.com/JOSM/JOSM-continuos-download/releases/download/v1.2.4/continuosDownload.jar" />
         </manifest>
     </target>