Merge pull request #3 from minetest-mapserver/imgbot

[ImgBot] Optimize images

Merge pull request #3 from minetest-mapserver/imgbot
ee77e0e7 · Thomas Rudin · GitHub · 4ff6b55e · c06c4f58 · 4ff6b55e
Unverified Commit ee77e0e7 authored Jan 30, 2020 by Thomas Rudin Committed by GitHub Jan 30, 2020
--- a/textures/mapserver_poi_blue.png
+++ b/textures/mapserver_poi_blue.png
--- a/textures/mapserver_poi_green.png
+++ b/textures/mapserver_poi_green.png
--- a/textures/mapserver_poi_orange.png
+++ b/textures/mapserver_poi_orange.png
--- a/textures/mapserver_poi_purple.png
+++ b/textures/mapserver_poi_purple.png
--- a/textures/mapserver_poi_red.png
+++ b/textures/mapserver_poi_red.png