LTLMoP/LTLMoP — pull request #34 by mmedvede (2013-04-28 17:00:07+00:00)
Title: Update examples/gumbotest to use new map

updates map using Gumbo/convert_map.sh