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
2 parent s 67eded2 + 397fe72
Raw File
.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