Re: gitplugin 0.8 can't be downloaded
Eric Le Lay via jEdit-devel <[email protected]> Thu, 29 Feb 2024 23:44:22 +0100
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
Le Thu, 29 Feb 2024 08:14:34 -0800, Alan Ezust <[email protected]> a écrit : > I've tried plugin central default, arizona, and netherlands, and they > all told me to try another mirror. Hi Alan, it worked for me from Plugin Central Default just now. Cheers, -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel