source: josm/trunk/nodist/images/preferences.png@ 19191

Last change on this file since 19191 was 16806, checked in by Klumbumbus, 4 years ago

see #15240 - Change some png icons to svg:

fix a missing file extension in nodist folder

add golf=path to ignorelist

  • Property svn:mime-type set to image/png
File size: 104 bytes
trunk/nodist/images/preferences.png
Note: See TracBrowser for help on using the repository browser.