diff --git a/commands b/commands new file mode 100644 index 0000000..6e5eeb3 --- /dev/null +++ b/commands @@ -0,0 +1 @@ +catkin_make -DCMAKE_BUILD_TYPE=Debug