mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-22 13:19:48 +01:00
Amendment to CLI documentation re: Windows GUI/console executable differences and behaviours, as per #3461, unless it is expected to change in the near future...