Resolution in world and map file of maze map are different #49
Description
In the maze.world file it says 0.02 and in the maze.yaml it says 0.05.
My guess is that the resolution in the world file actually doesn't matter (as far as I remember the resolution is calculated from the size given in the map file, as I wrote here)