.editorconfig
author Raphaël Gomès <rgomes@octobus.net>
Mon, 09 Jan 2023 18:27:53 +0100
changeset 49996 547d6817e0c3
parent 45411 c25efc468a49
permissions -rw-r--r--
rust-clippy: add `is_empty` method to please the `clippy` gods I can see it being useful anyway.

# See http://EditorConfig.org for the specification

root = true

[*.py]
indent_size = 4
indent_style = space
trim_trailing_whitespace = true
end_of_line = lf

[*.{c,h}]
indent_size = 8
indent_style = tab
trim_trailing_whitespace = true
end_of_line = lf

[*.t]
indent_size = 2
indent_style = space
trim_trailing_whitespace = false
end_of_line = lf