Changeset 7351 in josm for trunk/tools

Timestamp:
2014-07-31T12:36:48+02:00 (5 years ago)
Author:
Don-vip
Message:

fix #10325 - WMS not working if JOSM compiled with dist-optimized:

  • fix build
  • update to Proguard 4.11
  • disable "Sun internal API" warnings introduced recently
File:
1 edited

Note: See TracChangeset for help on using the changeset viewer.