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