Commit 0bdbc4de authored by Jan Kiene's avatar Jan Kiene
Browse files

set -x

parent 6d3918bc