Revision 7b2c4bb4938f237820a117499fe58b76b1e4bfe0 authored by Ethan Buchman on 14 January 2019, 16:53:43 UTC, committed by GitHub on 14 January 2019, 16:53:43 UTC
1 parent ec53ce3
.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
[Makefile]
indent_style = tab
[*.sh]
indent_style = tab
[*.proto]
indent_style = space
indent_size = 2
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...