diff -r 8578850cdc6a -r 7e10d00e27ca Documentation/eric5-plugin.odt Binary file Documentation/eric5-plugin.odt has changed