1. 2020-06-06 [1] Re: [ jEdit-users ] BinEd Hex Editor plugin (under de jedit-use Matthieu Casa 2. 2020-06-01 [1] [ jEdit-users ] =?utf-8?q?BinEd_Hex_Editor_plugin_=28 jedit-use Miroslav Hajd