From 9863de5763e6d63dbc5b31de3f253418e7511f03 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=BC=A0=E6=A2=A6=E5=8D=97?= <1487537121@qq.com> Date: Sun, 29 Jun 2025 10:05:14 +0000 Subject: [PATCH] =?UTF-8?q?=E5=88=A0=E9=99=A4=20.catkin=5Fworkspace?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .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 52fd97e..0000000 --- a/.catkin_workspace +++ /dev/null @@ -1 +0,0 @@ -# This file currently only serves to mark the location of a catkin workspace for tool integration