diff --git a/mango/10/output b/mango/10/output new file mode 100644 index 0000000..7768f15 --- /dev/null +++ b/mango/10/output @@ -0,0 +1,3 @@ +start of benchmark output of job mango/10 +collected mango +end of benchmark output of job mango/10