Changeset 16806 in josm


Ignore:
Timestamp:
2020-07-24T14:13:42+02:00 (3 weeks 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
Files:
11 added
3 deleted
1 edited
1 copied
7 moved

Legend:

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