Changeset 16806 in josm for trunk/resources/images

Timestamp:
2020-07-24T14:13:42+02:00 (4 years ago)
Author:
Klumbumbus
Message:

see #15240 - Change some png icons to svg:

fix a missing file extension in nodist folder

add golf=path to ignorelist

Location:
trunk/resources/images
Files:
10 added
3 deleted

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