1. 2020-07-12 [3] [ jEdit-devel ] Howto get into dev loop ? jedit-dev orbitalair 2. 2020-07-02 [1] [ jEdit-devel ] [jedit:plugin-patches] #180 Patch for jedit-dev Matthew Gavin