view .editorconfig @ 40823:368ecbf734af

commandserver: enable logging when server process started

This allows us to keep track of server events before client connects to
the server.

Tests will be added later. Currently there's no log() call to check if
things are working well.

# 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