diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..8b4d2f3d1dd56c435c2034481b9f8e5b2af0a8e4 --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +pps_ws/build/ +pps_ws/devel/ +pps_ws/src/CMakeLists.txt diff --git a/pps_ws/.catkin_workspace b/pps_ws/.catkin_workspace new file mode 100644 index 0000000000000000000000000000000000000000..52fd97e7ea4bd421af3f7dacb539d241bcee6583 --- /dev/null +++ b/pps_ws/.catkin_workspace @@ -0,0 +1 @@ +# This file currently only serves to mark the location of a catkin workspace for tool integration