Federico Fissore d5a0476948 Installing tools from packager (eg: arduino) in packager folder, thus avoiding ...

tools duplication and disk space wasting. Fixes #4193

2015-11-20 17:15:53 +01:00

..

lib

Installing tools from packager (eg: arduino) in packager folder, thus avoiding

2015-11-20 17:15:53 +01:00

src

Installing tools from packager (eg: arduino) in packager folder, thus avoiding

2015-11-20 17:15:53 +01:00

.classpath

Installing tools from packager (eg: arduino) in packager folder, thus avoiding

2015-11-20 17:15:53 +01:00

.editorconfig

Added .editorconfig files http://editorconfig.org/

2015-05-08 10:18:43 +02:00

.gitignore

Split IDE into 2 projects.

2014-11-13 16:34:24 +01:00

.project

Split IDE into 2 projects.

2014-11-13 16:34:24 +01:00

build.xml

Switching to Java 8

2015-06-16 09:33:48 +02:00