Files

arduino-core

and

add preference checkbox for core cache

Mar 20, 2017

5b6adec · Mar 20, 2017

Name		Name	Last commit message	Last commit date
parent directory ..
lib		lib	Port fixes for upstream jmdns	Jan 19, 2017
src		src	add preference checkbox for core cache	Mar 20, 2017
.classpath		.classpath	Port fixes for upstream jmdns	Jan 19, 2017
.editorconfig		.editorconfig	Added .editorconfig files http://editorconfig.org/	May 8, 2015
.gitignore		.gitignore	Split IDE into 2 projects.	Nov 13, 2014
.project		.project	Split IDE into 2 projects.	Nov 13, 2014
build.xml		build.xml	Switching to Java 8	Jun 16, 2015