|
see #15240 - Change some png icons to svg:
- cursor/modifier/zoom, self created, inspired by png icon, PD and CC0 licensed
- dialogs/conflict, self created, based on dialogs/next icon, inspired by https://commons.wikimedia.org/wiki/File:Merge-short_arrows_2.svg, PD and CC0 licensed
- markers/speech, self created, inspired by png icon, PD and CC0 licensed
- markers/web, https://commons.wikimedia.org/wiki/File:Gnome-text-html.svg, modified, from GNOME Project, LGPL licensed
- preferences/audio, https://commons.wikimedia.org/wiki/File:Audio-x-generic.svg, color changed, from The Tango Desktop Project, PD and CC0 licensed
- preferences/plugin, https://publicdomainvectors.org/en/free-clipart/Plugin-icon/59375.html, modified, PD and CC0 licensed
- preferences/remotecontrol, https://freesvg.org/tv-control-vector-image, modified, PD and CC0 licensed
- restart, https://commons.wikimedia.org/wiki/File:View-refresh-2.svg, modified, from The Tango Desktop Project, PD and CC0 licensed
- save, https://commons.wikimedia.org/wiki/File:Media-floppy.svg, from The Tango Desktop Project, PD and CC0 licensed
- save_as, https://commons.wikimedia.org/wiki/File:Media-floppy.svg, from The Tango Desktop Project, + star from new icon, PD and CC0 licensed
fix a missing file extension in nodist folder
add golf=path to ignorelist
|
