Rename worlds (#22)

ami-iit · Nov 21, 2023 · 84b9ec8 · 84b9ec8
1 parent 284725e
commit 84b9ec8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/.../iRonCub-Mk1_1_world/iRonCub_Mk1_1_world1 → ...s/iRonCub-Mk1_1_world/iRonCub_Mk1_1_world b/.../iRonCub-Mk1_1_world/iRonCub_Mk1_1_world1 → ...s/iRonCub-Mk1_1_world/iRonCub_Mk1_1_world
diff --git a/...rlds/iRonCub-Mk1_world/iRonCub_Mk1_world1 → ...orlds/iRonCub-Mk1_world/iRonCub_Mk1_world b/...rlds/iRonCub-Mk1_world/iRonCub_Mk1_world1 → ...orlds/iRonCub-Mk1_world/iRonCub_Mk1_world