Revision efb84089570bb5acc81feb1af5d7c1d62932c136 authored by Lars Bilke on 30 September 2021, 07:57:02 UTC, committed by Lars Bilke on 30 September 2021, 07:57:02 UTC
[ctest] Changed log file extension from .log to .txt. See merge request ogs/ogs!3807
Computing file changes ...