Changeset 12873 in josm for trunk/tools

Timestamp:

2017-09-17T18:52:49+02:00 (8 years ago)

Author:

Don-vip

Message:

• mark kendzi3d_Improved_by_Andrei plugin as unmaintained
• fix javadoc issues in deprecated comments
• update animal-sniffer-ant-tasks to 1.16 + patch to make it not fail the build (see ​https://github.com/mojohaus/animal-sniffer/pull/34)
• update the check-plugins task, make it not fail the build

Location:

trunk/tools

Files:

• animal-sniffer-ant-tasks-1.15.jar (deleted)
• animal-sniffer-ant-tasks.jar (added)