Skip to content
Snippets Groups Projects
Commit 95171ed7 authored by Ashwin Kumar Karnad's avatar Ashwin Kumar Karnad
Browse files

Merge branch 'logfile-records-everything_shell-can-be-chosen' into 'print_log' 

Logfile records everything, but logging output to screen can be adjusted

See merge request mpsd-cs/mpsd-software-environments!31
parents 4566f34a 55826503
No related branches found
No related tags found
2 merge requests!31Logfile records everything, but logging output to screen can be adjusted,!30Print log
Pipeline #369961 passed
Stage: test
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment