mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-24 13:52:14 +01:00
31fe4ac0c2
This method takes filenames as specified on the commandline and turns them into the right File object, taking into account the current directory passed through --curdir by the wrapper script.