swh:1:snp:f521c49ab17ef7db6ec70b2430e1ed203f50383f
Raw File
Tip revision: 08ba24dada9db68520e9778bac3ae0e0279eebfe authored by joergbuchwald on 18 February 2022, 12:50:46 UTC
Merge branch 'eigen-new' into 'master'
Tip revision: 08ba24d
.editorconfig
[*]
indent_style = space
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true
indent_size = 4

[*.{md,pandoc}]
trim_trailing_whitespace = false

[*.{json,yml,yaml,toml,html,css,js,scss}]
indent_size = 2
back to top