diff options
Diffstat (limited to 'noetic-llama/.catkin_workspace')
| -rw-r--r-- | noetic-llama/.catkin_workspace | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/noetic-llama/.catkin_workspace b/noetic-llama/.catkin_workspace deleted file mode 100644 index 52fd97e..0000000 --- a/noetic-llama/.catkin_workspace +++ /dev/null @@ -1 +0,0 @@ -# This file currently only serves to mark the location of a catkin workspace for tool integration |