Skip to content

Commit

Permalink
Issue #1684: add default extensions when switching robot, miscellaneo…
Browse files Browse the repository at this point in the history
…us small improvements
  • Loading branch information
bjost2s committed Oct 29, 2024
1 parent 283031b commit 61a1486
Show file tree
Hide file tree
Showing 10 changed files with 40 additions and 25 deletions.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit 61a1486

Please sign in to comment.