diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-09-01 22:10:20 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-09-05 07:49:22 +0200 |
| commit | ae9729b6df885eb04c63501b33399d401829a76a (patch) | |
| tree | 9aeccaf18bd852a516ea137f2347f9a634993d34 /tools/steam | |
| parent | 08e5e8794aceff8de4a928d1876c6af88601a5db (diff) | |
Move various scripts to the "scripts" folder
Thus cleaning up the "tools" folder a bit.
Diffstat (limited to 'tools/steam')
| -rw-r--r-- | tools/steam/make_icons.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/steam/make_icons.sh b/tools/steam/make_icons.sh deleted file mode 100644 index 71037cd1c3..0000000000 --- a/tools/steam/make_icons.sh +++ /dev/null @@ -1,5 +0,0 @@ -convert -resize 32x32 ../../icon.svg icon32.ico -convert -resize 32x32 ../../icon.svg icon32.icns -for s in 16 24 32 64 96 128 256; do convert -resize ${s}x$s ../../icon.svg icon$s.png; done -zip icons.zip icon*.png -rm icon*.png |