mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
Revert "Reverted 'copy error' button for 1.0.5, waiting for a better UI design" This reverts commit cf4584eb29c45c96ced13d11ff6a09005d225d17.