search

strands-project / strands_navigation

Higher-level navigation capabilities
41 stars 48 forks source link

remove topo map from db node #383

Open PDuckworth opened 4 years ago

PDuckworth commented 4 years ago

rm_map_from_db.py doesn't remove map-specific info from NavStats collection