mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-13 10:29:35 +01:00
update revision log
This commit is contained in:
parent
8943b7ccbe
commit
bd2f4acba7
@ -1,5 +1,8 @@
|
||||
ARDUINO 1.8.3
|
||||
|
||||
[ide]
|
||||
* added option in preferences.txt for: custom title, comment/uncomment shortcut, always show file extensions. Thanks @MichaelSy
|
||||
|
||||
ARDUINO 1.8.2 2017.03.22
|
||||
|
||||
[ide]
|
||||
|
Loading…
x
Reference in New Issue
Block a user