Changeset 12931 in josm for trunk/build.xml


Ignore:
Timestamp:
2017-10-07T13:31:45+02:00 (2 weeks ago)
Author:
Don-vip
Message:

see #14602 - Override digit group separator to be consistent across languages with ISO 80000-1 + checkstyle fixes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/build.xml

    r12897 r12931  
    6464        <property name="revision.dir" value="bin"/>
    6565        <antcall target="create-revision"/>
     66        <mkdir dir="bin/META-INF/services"/>
     67        <echo encoding="UTF-8" file="bin/META-INF/services/java.text.spi.DecimalFormatSymbolsProvider">org.openstreetmap.josm.tools.JosmDecimalFormatSymbolsProvider</echo>
    6668    </target>
    6769    <!--
     
    151153                <attribute name="Add-Opens" value="java.base/java.lang java.base/jdk.internal.loader java.desktop/javax.imageio.spi java.desktop/javax.swing.text.html java.prefs/java.util.prefs" />
    152154            </manifest>
     155            <service type="java.text.spi.DecimalFormatSymbolsProvider" provider="org.openstreetmap.josm.tools.JosmDecimalFormatSymbolsProvider" />
    153156            <zipfileset dir="images" prefix="images"/>
    154157            <zipfileset dir="data" prefix="data"/>
Note: See TracChangeset for help on using the changeset viewer.