ros-planning/navigation — pull request #29 by dornhege (2013-04-16 17:29:04+00:00)
Title: map_server: add crop_map.py to crop a map to the known area

Related to issue #3, but does that in a separate script that outputs the cropped yaml file + pgm.

The script is independent from anything and could also be merged into other devel branches or moved to another package.