]> defiant.homedns.org Git - ros_roboint.git/commit
robo_explorer: more settings
authorErik Andresen <erik@vontaene.de>
Thu, 5 Sep 2013 15:25:30 +0000 (17:25 +0200)
committerErik Andresen <erik@vontaene.de>
Thu, 5 Sep 2013 15:25:30 +0000 (17:25 +0200)
commitee1be750d172797343ddb45ce1911990b2faa2d1
treeeb6a192b3814b4de0f8cbaf80ad6bff0243cbcb2
parent6668166c0d628b03914d57e78de0646fb8176490
robo_explorer: more settings
README
explorer_configuration.launch
scripts/robo_explorer.py