remove .catkin_workspace file

This commit is contained in:
Thomas Gubler 2015-01-08 11:29:16 +01:00
parent f960bbf529
commit 42430fb5ef

View File

@ -1 +0,0 @@
# This file currently only serves to mark the location of a catkin workspace for tool integration