diff -r 930be51ddc24 -r 2966cd34162a doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed