mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
ec7996e8be
Revert "Reverted 'copy error' button for 1.0.5, waiting for a better UI design" This reverts commit cf4584eb29c45c96ced13d11ff6a09005d225d17.