.editorconfig
author Boris Feld <boris.feld@octobus.net>
Thu, 15 Nov 2018 02:38:55 +0100
changeset 40822 64cdfcc73706
parent 38293 1d6066336d7b
child 45411 c25efc468a49
permissions -rw-r--r--
cache: create `cache` directory at init time The cache directory will be needed very quickly, so it seems simpler to create it early to make sure it has the same owner and permission than the other directory in the repository.

# 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