Changes between Version 156 and Version 157 of PluginsSource


Ignore:
Timestamp:
2017-03-17T12:40:17+01:00 (3 months ago)
Author:
github@…
Comment:

updated areaselector version

Legend:

Unmodified
Added
Removed
Modified
  • PluginsSource

    v156 v157  
    77Adding some hint to reach the maintainer for a link is helpful in case of trouble, otherwise links will be disabled without notice!
    88
    9 * https://github.com/JOSM/areaselector/releases/download/v2.2.0/areaselector.jar
     9* https://github.com/JOSM/areaselector/releases/download/v2.3.0/areaselector.jar
    1010* https://github.com/JOSM/Color/releases/download/v1.0/ColorPlugin.jar
    1111* https://github.com/JOSM/conflation/releases/download/v0.5.0/conflation.jar