Changeset 12243 in josm

Timestamp:

2017-05-23T23:13:58+02:00 (9 years ago)

Author:

Don-vip

Message:

see #11924 - update error-prone, manually built from ​https://github.com/google/error-prone/compare/sync-master-05/10/2017 for better java 9 support, see ​https://github.com/google/error-prone/issues/448

Location:

trunk

Files:

• README (modified) (view diffs)
• build.xml (modified) (view diffs)
• tools/error_prone_ant.jar (moved) (moved from trunk/tools/error_prone_ant-2.0.19.jar ) (view diffs)