latest pushes

This commit is contained in:
2024-05-09 20:18:45 -04:00
parent d2b317d72a
commit c53d5b3639
2 changed files with 31 additions and 0 deletions

4
scripts/catkin_setup.sh Executable file
View File

@@ -0,0 +1,4 @@
#!/bin/bash
catkin build
source "$CATKIN_WS/devel/setup.bash"