Commit 1efe4d52 authored by Ralf Jung's avatar Ralf Jung

format tweaks

parent d497f2c0
#!/bin/bash #!/bin/bash
set -e set -eo pipefail
set -o pipefail
#set -x #set -x
. ci/ansi-colors.sh . ci/ansi-colors.sh
......
Markdown is supported
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