view .editorconfig @ 376:b61a7d5a9101

Docs: remove useless margin
author David Demelier <markand@malikania.fr>
date Tue, 13 Dec 2016 13:04:39 +0100
parents 6635b9187d71
children 4ee71022784c
line wrap: on
line source

root = true

[*]
charset = utf-8
end_of_line = lf
insert_final_newline = true
indent_style = space
indent_size = 4
trim_trailing_whitespace = true