From 0fcfc9958fce8a81a38c57f8fad434836b3de6c6 Mon Sep 17 00:00:00 2001
From: Philipp Friedli <phfriedl@student.ethz.ch>
Date: Thu, 16 Mar 2017 10:58:44 +0100
Subject: [PATCH] added .gitignore

---
 .gitignore               | 3 +++
 pps_ws/.catkin_workspace | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 pps_ws/.catkin_workspace

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..8b4d2f3d
--- /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 00000000..52fd97e7
--- /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
-- 
GitLab