Changeset 10415 in josm for trunk/tools


Ignore:
Timestamp:
2016-06-18T14:22:04+02:00 (22 months ago)
Author:
Don-vip
Message:

make checkstyle SuppressionFilter optional to ease reuse of config file for plugins

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/tools/checkstyle/josm_checks.xml

    r10378 r10415  
    115115  <module name="SuppressionFilter">
    116116    <property name="file" value="${basedir}/tools/checkstyle/josm_filters.xml" default="tools/checkstyle/josm_filters.xml"/>
     117    <property name="optional" value="true"/>
    117118  </module>
    118119</module>
Note: See TracChangeset for help on using the changeset viewer.