Closed rctoris closed 10 years ago
Legacy names of widgets -- should be occupancy grid (or just map) and navigation
Closing with release of 2.0.0.
Legacy names of widgets -- should be occupancy grid (or just map) and navigation