diff -r 7fedc55c14d5 -r d328d0d9b88e doc/manual/en/html/100002010000013A0000004A96B0C1FF.png
Binary file doc/manual/en/html/100002010000013A0000004A96B0C1FF.png has changed