diff -r d1cb883667c0 -r 45885c4e3e56 doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed