mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-21 15:54:39 +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.