Files

arduino-ide-extension

Akos Kitta

and

Christian Weichel

[linter] Fixed the whitespace issue.

May 9, 2019

c7ea4ba · May 9, 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	[linter] Fixed the whitespace issue.	May 9, 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