Revision 0d4db7aae6cc949b4c37e4370e434a5447f986be authored by Callum Waters on 26 October 2022, 08:31:06 UTC, committed by GitHub on 26 October 2022, 08:31:06 UTC
1 parent 40a59d1
.editorconfig
# top-most EditorConfig file
root = true
# Unix-style newlines with a newline ending every file
[*]
charset = utf-8
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true
[*.{sh,Makefile}]
indent_style = tab
[*.proto]
indent_style = space
indent_size = 2
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...