Renamed launch files to begin with a lowercase letter to make it easier for...

Renamed launch files to begin with a lowercase letter to make it easier for typing into the command line

Renamed launch files to begin with a lowercase letter to make it easier for...
Renamed launch files to begin with a lowercase letter to make it easier for typing into the command line
dacae599 · beuchatp · ecd67e21 · dacae599 · dacae599 · dacae599
Commit dacae599 authored Feb 11, 2019 by beuchatp
--- a/dfall_ws/src/dfall_pkg/launch/Agent.launch
+++ b/dfall_ws/src/dfall_pkg/launch/Agent.launch
--- a/dfall_ws/src/dfall_pkg/launch/Coordinator.launch
+++ b/dfall_ws/src/dfall_pkg/launch/Coordinator.launch
--- a/dfall_ws/src/dfall_pkg/launch/Teacher.launch
+++ b/dfall_ws/src/dfall_pkg/launch/Teacher.launch