Cleanup misc (#237)

bit-bots · Nov 14, 2023 · 4820e14 · 4820e14
2 parents 847be8a + 66c768e
commit 4820e14
Show file tree

Hide file tree

Showing 63 changed files with 502 additions and 2,852 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
diff --git a/bitbots_bringup/.rdmanifest b/bitbots_bringup/.rdmanifest