strands-project/strands_utils — pull request #6 by marc-hanheide (2013-07-16 14:04:03+00:00)
Title: simply added a script to make cropping maps easier 

taken from https://github.com/dornhege/navigation/blob/a2ed76f81728b88305bd8ef5878f6424b87665ed/map_server/scripts/crop_map.py