mirror of
https://github.com/pybricks/pybricks-code.git
synced 2026-09-14 02:24:58 +00:00
This finishes a TODO to handle allowing the user to rename a file with an invalid file name when import files from the file system. Fixes: https://github.com/pybricks/support/issues/717