Files

arduino-ide-extension

Christian Weichel

Added Arduino-ish colour theme

May 8, 2019

f46f580 · May 8, 2019

Name		Name	Last commit message	Last commit date
parent directory ..
build		build	Fixed arduino-cli ctag compile issue	May 8, 2019
data		data	Added Arduino-ish colour theme	May 8, 2019
scripts		scripts	Fixed the `electron` build.	May 8, 2019
src		src	Added Arduino-ish colour theme	May 8, 2019
package.json		package.json	Updated to `next` (`879de31d`) Theia.	May 8, 2019
tsconfig.json		tsconfig.json	Moving repo to bmci-labs	May 6, 2019
tslint.json		tslint.json	Moving repo to bmci-labs	May 6, 2019