diff -r 892c1787d666 -r edde1fe80b3e Documentation/eric5-plugin.odt Binary file Documentation/eric5-plugin.odt has changed