2 commits

Author	SHA1	Message	Date
Eric Cornelissen	579d439e60	Lint file formatting (primarily whitespace) (#1349) ... * Add editorconfig-checker and .editorconfig * Fix wslint errors	2019-04-17 12:59:44 +03:00
Jan Keromnes	722e9692dc	Add gitpod config (#1164)	2019-02-04 15:24:42 +02:00