.editorconfig
author Gregory Szorc <gregory.szorc@gmail.com>
Sun, 29 Sep 2019 10:21:18 -0700
changeset 43013 3aa227feffbe
parent 38281 1d6066336d7b
child 45392 c25efc468a49
permissions -rw-r--r--
automation: remove Ubuntu 18.10 It reached end of life on July 18, 2019. I don't think we should care about supporting it. Differential Revision: https://phab.mercurial-scm.org/D6912

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

root = true

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

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

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