Closed
Description
When different versions of the Arduino IDE are installed the preferences.txt file is the same for all installed versions.
This seems buggy, since the upload often works only when deleting preferences.txt while switching between different IDE versions.
A simple solution would be to add a version information to the preferences.txt file name. Like preferences-202.txt