.editorconfig
author Pierre-Yves David <pierre-yves.david@octobus.net>
Thu, 01 Aug 2019 16:22:47 +0200
branchstable
changeset 42681 a1f10edcf6a6
parent 38281 1d6066336d7b
child 45392 c25efc468a49
permissions -rw-r--r--
strip: access bookmark before getting a reference to changelog Bookmark access might invalidate the current changelog (to make sure both are in a reasonable synchronisation state). So we should grab the reference to changelog after we access bookmark. Otherwise we risk using a dead object for the whole strip process. (note: this dead object business probably requires a new layers of checking)

# 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