From 42430fb5efae6801e63106df3a33de6150ff5095 Mon Sep 17 00:00:00 2001
From: Thomas Gubler <thomasgubler@gmail.com>
Date: Thu, 8 Jan 2015 11:29:16 +0100
Subject: [PATCH] remove .catkin_workspace file

---
 .catkin_workspace | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 .catkin_workspace

diff --git a/.catkin_workspace b/.catkin_workspace
deleted file mode 100644
index 52fd97e7ea..0000000000
--- a/.catkin_workspace
+++ /dev/null
@@ -1 +0,0 @@
-# This file currently only serves to mark the location of a catkin workspace for tool integration