Revision f5d1e73f6a7c45df3f50df80bc415c40c66e7451 authored by Tom Fischer on 18 March 2021, 14:37:18 UTC, committed by Tom Fischer on 18 March 2021, 14:37:18 UTC
[PL/TimeLoop] Use the vector of ids of xdot GlobalVector's. Closes #3120 See merge request ogs/ogs!3522
.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
Computing file changes ...