.editorconfig
author Boris Feld <boris.feld@octobus.net>
Wed, 26 Sep 2018 21:51:29 +0200
changeset 39919 b153ca77a52b
parent 38293 1d6066336d7b
child 45411 c25efc468a49
permissions -rw-r--r--
histedit: don't cleanup nodes already disposed of If something else took care of these temporary nodes, we don't need to do anything about it. This less liberal usage of pruning through cleanup nodes will help us further cleanup on the road to explicitly tracks folds.

# 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