]> defiant.homedns.org Git - ros_roboint.git/commit
Configurable robo_explorer
authorErik Andresen <erik@vontaene.de>
Wed, 4 Sep 2013 10:13:19 +0000 (12:13 +0200)
committerErik Andresen <erik@vontaene.de>
Wed, 4 Sep 2013 10:13:19 +0000 (12:13 +0200)
commit822c05d03c09295fb9687b3f58a9b9d7fbd3d170
tree2934a61f1e66ddc2a2298954148603d5ba85990a
parent47e8bfcf10b5ddbff2c3b6f66d7c59761e7ba53a
Configurable robo_explorer
explorer_configuration.launch
scripts/robo_explorer.py