mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
9e4243bc7e
This allows splitting a filename into a basename and extension. `FileUtils.hasExtension()` is updated to use it, in favour of the String.split-based approached it used before.