Cristian Maglie 99fe051c4a Added preferences.txt option to disable preferences save ...

Fix #5668

2018-08-13 20:19:25 +02:00

..

theme

Improve serial plotter graph colors

2016-12-29 13:05:33 +01:00

about.png

Updated splash screen

2015-11-03 13:09:30 +01:00

about@2x.png

Added hi-resolution "about" image

2016-01-26 17:11:53 +01:00

arduino_icon.ico

Removed wrong executable flag on many files

2013-09-27 18:18:51 +02:00

arduino.png

arduino logo for linux icon

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

formatter.conf

libastyle update was wrong. here is right one

2015-07-06 13:31:15 +02:00

keywords.txt

Remove highlighting for "string" lowercase literal

2016-05-31 10:38:56 +02:00

preferences.txt

Added preferences.txt option to disable preferences save

2018-08-13 20:19:25 +02:00

public.gpg.key

Introducing GPG signature verification when loading main package_index file

2015-05-04 12:05:50 +02:00

splash.bmp

Updated splash screen

2015-11-03 13:09:30 +01:00

splash.png

Updated splash screen

2015-11-03 13:09:30 +01:00