Clean up outdated Bullet-specific config

upkie · Oct 25, 2024 · ed37281 · ed37281
1 parent 93fb186
commit ed37281
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/config/bullet.gin b/config/bullet.gin