Changeset 18054 in josm for trunk/tools/eclipse/formatter.xml

Timestamp:

2021-07-17T19:15:07+02:00 (3 years ago)

Author:

Don-vip

Message:

merge ide and tools folders, update README, add Java 11 Eclipse launch configuration

File:

• trunk/tools/eclipse (copied) (copied from trunk/ide/eclipse )