dded "set map style" command to maps library

2019-05-28 19:38:27 +02:00 · 2019-05-28 19:38:27 +02:00 · 96c8dd1e11
commit 96c8dd1e11
--- a/HISTORY.md
+++ b/HISTORY.md
@ -82,6 +82,7 @@

 ### 2019-05-28
 * Maps: added various different tile hosts
+* added "set map style" command to maps library

 ### 2019-05-25
 * added credits and license information to map costumes
--- a/libraries/maps_module.xml
+++ b/libraries/maps_module.xml