swh:1:snp:f521c49ab17ef7db6ec70b2430e1ed203f50383f
Raw File
Tip revision: 0864b407dd266fcabca36b76435def65f960665f authored by Thomas Fischer on 11 June 2021, 07:18:47 UTC
[NL/DOF] Remove pair with deleted pointer from vector.
Tip revision: 0864b40
.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