tue-robotics / ed_navigation

ED interface to the base navigation modules
2 stars 4 forks source link

fix tue_config RequiredOrOptional #10

Closed MatthijsBurgh closed 6 years ago

MatthijsBurgh commented 6 years ago

requires https://github.com/tue-robotics/tue_config/pull/9