diff -r 092aa8fafa4e -r f6ccc31d6e72 Documentation/eric5-plugin.odt Binary file Documentation/eric5-plugin.odt has changed