1. 2024-02-29 Re: [ jEdit-devel ] gitplugin 0.8 can't be downloaded jedit-dev Eric Le Lay via jE 2. 2024-02-29 [ jEdit-devel ] gitplugin 0.8 can't be downloaded jedit-dev Alan Ezust