diff options
| -rw-r--r-- | .editorconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index 6c2b9ad94..8da01346c 100644 --- a/.editorconfig +++ b/.editorconfig @@ -9,6 +9,10 @@ indent_style = tab indent_size = 2 tab_width = 2 +[*.{adb,ads,gpr}] +indent_style = space +indent_size = 3 + [*.py] indent_style = space indent_size = 4 |