diff options
| author | Mike Vink <ivi@vinkies.net> | 2025-12-20 10:28:45 +0100 |
|---|---|---|
| committer | Mike Vink <ivi@vinkies.net> | 2025-12-20 10:29:08 +0100 |
| commit | 52312ffb17513fd64953e33bbca937d1a126a585 (patch) | |
| tree | 67280e2953835f1210ad448841297fe0cd076efa | |
| parent | 804c45fdbf53572a7f75aed4140877bfe61d0027 (diff) | |
java
| -rw-r--r-- | .editorconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.editorconfig b/.editorconfig index bddbd11..6026356 100644 --- a/.editorconfig +++ b/.editorconfig @@ -14,7 +14,7 @@ indent_size = 2 indent_style = space indent_size = 2 -[*.{go,c}] +[*.{go,c,java}] indent_style = tab # Tab indentation (no size specified) |
