rename

benjaminwp18 · Apr 30, 2024 · d4524de · d4524de
1 parent c47e70e
commit d4524de
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/launch/lampi_demo.py → launch/lampi_demo_launch.py b/launch/lampi_demo.py → launch/lampi_demo_launch.py