Commit 10022581 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Merge branch 'next' into new_ide

parents 1623cb5f 3dc6ea99
......@@ -101,6 +101,5 @@ echo ""
echo "Summary : $success/$total"
echo "Sessions size : "`wc -cl $sessions | tail -1`
echo "Shapes size : "`wc -cl $shapes | tail -1`
exit $res
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