Arduino/arduino at 9191442aeaf7af472684082d895ab2711c85cfaf - Arduino - Rooty - Git Service

rooty/Arduino

mirror of https://github.com/arduino/Arduino.git synced 2025-01-20 09:52:13 +01:00

History

Federico Fissore 9191442aea Libraries: fixed incorrect handling of null types

2015-05-19 16:26:03 +02:00

..

Libraries: fixed incorrect handling of null types

2015-05-19 16:26:03 +02:00

Autoformat was generating two undo action, the first one being an empty editor. Tested and fixed

2015-05-07 17:15:51 +02:00

Preferences: added tooltip about additional boards manager urls. Fixes #3092

2015-05-18 16:56:13 +02:00