Feature/dynamic map size (!2) · Merge requests · robbie / homer_mapping

Merged Ghost User requested to merge feature/dynamic_map_size into master 8 years ago

Jan 19, 2017
- navigation with dynamic maps · 47d4f42a
  Projekt Robbie authored 8 years ago
  
  47d4f42a
- dynamic masking map · 6f7fa76f
  Projekt Robbie authored 8 years ago
  
  6f7fa76f
- masking manager dynamic map · 60972339
  Florian Polster authored 8 years ago
  
  60972339
- reworking map_manager to use dynamic map sizes · 8da12a60
  Projekt Robbie authored 8 years ago
  
  8da12a60
Jan 18, 2017
- no more squared maps · 04801341
  Projekt Robbie authored 8 years ago
  
  04801341
Jan 05, 2017
- dynamic map size and wall kernel · 0df3d4c6
  Projekt Robbie authored 8 years ago
  
  0df3d4c6
Dec 09, 2016
- dynamic map size · b56cd3a8
  Projekt Robbie authored 8 years ago
  
  b56cd3a8

Feature/dynamic map size