.editorconfig

# EditorConfig is awesome: http://EditorConfig.org

# top-most EditorConfig file
root = true

# Unix-style newlines with a newline ending every file
[*]
end_of_line=lf
insert_final_newline = true
indent_style = space
indent_size = 2
charset = utf-8

# 4 space indentation
[*.py]
indent_style = space
indent_size = 4

[{Makefile,**.mk}]
# Use tabs for indentation (Makefiles require tabs)
indent_style = tab
added editorconfig file 2016-06-26 15:04:55 +02:00			`# EditorConfig is awesome: http://EditorConfig.org`

			`# top-most EditorConfig file`
			`root = true`

			`# Unix-style newlines with a newline ending every file`
			`[*]`
			`end_of_line=lf`
			`insert_final_newline = true`
			`indent_style = space`
			`indent_size = 2`
			`charset = utf-8`

			`# 4 space indentation`
			`[*.py]`
			`indent_style = space`
			`indent_size = 4`
use jdk 11 in docker for ci build 2020-03-03 11:13:11 +01:00
			`[{Makefile,**.mk}]`
			`# Use tabs for indentation (Makefiles require tabs)`
			`indent_style = tab`