diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-30 00:40:01 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-30 00:40:28 +0200 |
commit | 8c30f0f9b0c9d7c54cb6aedd4513847ce61c5c01 (patch) | |
tree | f555d83292070ba7c078403d368535438fa4e8c1 | |
parent | Install nodejs and npm from Gradle (diff) | |
download | refinery-8c30f0f9b0c9d7c54cb6aedd4513847ce61c5c01.tar.gz refinery-8c30f0f9b0c9d7c54cb6aedd4513847ce61c5c01.tar.zst refinery-8c30f0f9b0c9d7c54cb6aedd4513847ce61c5c01.zip |
Top level editorconfig
-rw-r--r-- | .editorconfig | 14 | ||||
-rw-r--r-- | language-web/.editorconfig | 10 |
2 files changed, 14 insertions, 10 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000..16618cb1 --- /dev/null +++ b/.editorconfig | |||
@@ -0,0 +1,14 @@ | |||
1 | root = true | ||
2 | |||
3 | [*] | ||
4 | charset = utf-8 | ||
5 | insert_final_newline = true | ||
6 | |||
7 | [*.{gradle,java,mwe2,xtend,xtext}] | ||
8 | indent_style = tab | ||
9 | indent_size = 4 | ||
10 | |||
11 | [*.{html,js,json,scss}] | ||
12 | indent_style = space | ||
13 | indent_size = 2 | ||
14 | |||
diff --git a/language-web/.editorconfig b/language-web/.editorconfig index 710ef217..1b78e967 100644 --- a/language-web/.editorconfig +++ b/language-web/.editorconfig | |||
@@ -1,13 +1,3 @@ | |||
1 | root = true | ||
2 | |||
3 | [*] | ||
4 | charset = utf-8 | ||
5 | insert_final_newline = true | ||
6 | |||
7 | [*.{html,js,json,scss}] | ||
8 | indent_style = space | ||
9 | indent_size = 2 | ||
10 | |||
11 | [src/main/css/xtext/**.css] | 1 | [src/main/css/xtext/**.css] |
12 | indent_style = tab | 2 | indent_style = tab |
13 | 3 | ||