mirror of https://github.com/noisymime/Arduino.git
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. |
||
---|---|---|
.. | ||
lib | ||
src | ||
.classpath | ||
.editorconfig | ||
.gitignore | ||
.project | ||
build.xml |