Remove removed-folder-related files

mkhoshnam · Nov 26, 2024 · 5f022ef · 5f022ef
1 parent 9fc0f7d
commit 5f022ef
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 13 deletions.
diff --git a/.catkin_tools/profiles/default/devel_collisions.txt b/.catkin_tools/profiles/default/devel_collisions.txt
diff --git a/.catkin_tools/profiles/default/packages/catkin_tools_prebuild/devel_manifest.txt b/.catkin_tools/profiles/default/packages/catkin_tools_prebuild/devel_manifest.txt