Merge pull request #20 from johuber/patch-1

[examples] Add missing global_planner dependency
master
amakarow 2020-10-25 17:51:15 +01:00 committed by GitHub
commit f5c5496be7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -20,6 +20,7 @@
<exec_depend>move_base</exec_depend>
<exec_depend>map_server</exec_depend>
<exec_depend>amcl</exec_depend>
<exec_depend>global_planner</exec_depend>
<!-- The export tag contains other, unspecified, tags -->