jkleiber
diff --git a/‎.catkin_workspace
+1 b/‎.catkin_workspace
+1
diff --git a/‎build/.built_by
+1 b/‎build/.built_by
+1
diff --git a/‎build/CATKIN_IGNORE b/‎build/CATKIN_IGNORE
@@ -0,0 +1 @@
+# This file currently only serves to mark the location of a catkin workspace for tool integration
@@ -0,0 +1 @@
+catkin_make
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+# This file currently only serves to mark the location of a catkin workspace for tool integration`