Merge pull request #561 from Xiangyu-Hu/fix/delete_unused_folder_in_3…

…rd_party deleted
Xiangyu-Hu · Apr 18, 2024 · 9344744 · 9344744
2 parents 06ff81a + d21833b
commit 9344744
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 3 deletions.
diff --git a/3rd_party/eigen b/3rd_party/eigen
diff --git a/3rd_party/simbody b/3rd_party/simbody
diff --git a/3rd_party/xsimd b/3rd_party/xsimd