mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-26 20:54:22 +01:00
This commit fixes #8212 by passing '-Dfile.encoding=UTF8' to the arduino.l4j.ini file (windows launcher). This property define the file encoding that is required.