.editorconfig
author Pierre-Yves David <pierre-yves.david@octobus.net>
Wed, 13 Nov 2019 20:42:13 +0100
changeset 43786 421ea5772039
parent 38281 1d6066336d7b
child 45392 c25efc468a49
permissions -rw-r--r--
copies: split the combination of the copies mapping in its own function In some case, this part take up to 95% of the copy tracing that take about a hundred second. This poor performance comes from the fact we keep duplciating and merging dictionary that are mostly similar. I want to experiment with smarter native code to do this, so I need to isolate the function first.

# 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