remove unused files

MRPT · Mar 9, 2023 · 95f5775 · 95f5775
1 parent bbec0b9
commit 95f5775
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 27,400 deletions.
diff --git a/mvsim_tutorial/demo_lim_slip_diff.world.xml b/mvsim_tutorial/demo_lim_slip_diff.world.xml