Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
Martin Magnusson
navigation_oru-release
Merge requests
!2
Merged
Created
Jun 13, 2017
by
Marc Hanheide
@marc-hanheide
Contributor
Options
change to gazebo8 for testing
Overview
2
Commits
2
Changes
2
This is a PR that just pulls in the gazebo8 instead of gazebo7. Let's see how and if it works...