]> defiant.homedns.org Git - ros_wild_thumper.git/commitdiff
move_base: don't launch mapserver if nomap is set
authorErik Andresen <erik@vontaene.de>
Tue, 22 Sep 2015 17:46:02 +0000 (19:46 +0200)
committerErik Andresen <erik@vontaene.de>
Tue, 22 Sep 2015 17:46:02 +0000 (19:46 +0200)

No differences found