Changeset 8035 in josm for trunk/images_nodist

Timestamp:

2015-02-10T15:31:47+01:00 (10 years ago)

Author:

bastiK

Message:

see #11096 - replace png icons with svg version if available (4)

Location:

trunk/images_nodist

Files:

• changesetmanager.svg (deleted)
• dialogs/mappaint (deleted)
• mapmode (deleted)