diff --git a/jsk_maps/launch/start_empty_map.launch b/jsk_maps/launch/start_empty_map.launch deleted file mode 100644 index 645b7c36a8..0000000000 --- a/jsk_maps/launch/start_empty_map.launch +++ /dev/null @@ -1,7 +0,0 @@ - - - - - - diff --git a/jsk_maps/launch/start_empty_map.launch b/jsk_maps/launch/start_empty_map.launch new file mode 120000 index 0000000000..3b6b507c0f --- /dev/null +++ b/jsk_maps/launch/start_empty_map.launch @@ -0,0 +1 @@ +start_map_empty_world.launch \ No newline at end of file diff --git a/jsk_maps/launch/start_map_empty_world.launch b/jsk_maps/launch/start_map_empty_world.launch new file mode 100644 index 0000000000..96c338e7af --- /dev/null +++ b/jsk_maps/launch/start_map_empty_world.launch @@ -0,0 +1,16 @@ + + + + + + + + + + + + + +