Console Output

+ git clone --recursive --depth=1 https://github.com/agra-uni-bremen/microrv32 microrv32
Cloning into 'microrv32'...