map_downloader.launch 159 B

1234
  1. <launch>
  2. <arg name="area" default="1x1" />
  3. <node name="points_map_loader" pkg="map_file" type="points_map_loader" args="$(arg area) download" />
  4. </launch>