diff -r b6572d0336c3 -r 05d95c45b388 doc/manual/en/Pictures/10000000000000B6000000DF1EDD1E73.png
Binary file doc/manual/en/Pictures/10000000000000B6000000DF1EDD1E73.png has changed