why some launch file have extension type foo.launch.xml ?
I am going through moveit pr2 tutorials and I see .launch.xml extension .Why do we need two extension. For example pr2_moveit_controller_manager.launch.xml