annotate .editorconfig @ 631:5dd3347df00d

to_int: return boost::optional instead of throwing, closes #777 @10m
author David Demelier <markand@malikania.fr>
date Tue, 20 Mar 2018 13:27:22 +0100
parents 6872b3c443c7
children 5bd9424a523a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
556
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 root = true
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
2
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 [*]
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 charset = utf-8
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 end_of_line = lf
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 insert_final_newline = true
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 indent_style = space
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 indent_size = 4
6872b3c443c7 Misc: add .editorconfig
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 trim_trailing_whitespace = true