agdl 8035f24498 Fixed pigmentation		2016-02-22 10:05:51 +01:00
..
theme	Modified colors highlight according to Create	2016-02-19 10:22:59 +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	Fixed pigmentation	2016-02-22 10:05:51 +01:00
preferences.txt	Added GUI scaling in preference panel.	2016-01-26 12:09:57 +01: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