Revision f00808577c783b6826a7ecc0609b16d8fe384682 authored by Lars Bilke on 30 September 2021, 07:03:26 UTC, committed by Lars Bilke on 30 September 2021, 07:03:26 UTC
[ctest] Changed log file extension from .log to .txt.

See merge request ogs/ogs!3807
2 parent s 0af2a62 + 2ba2e83
History

back to top