gitplugin 0.8 can't be downloaded
Alan Ezust <[email protected]> Thu, 29 Feb 2024 08:14:34 -0800
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <CALy5K9oQxVpTw3-iq6DFOqhWnbs7iYanUKknaaPN25JKVbbciA@mail.gmail.com> |
I've tried plugin central default, arizona, and netherlands, and they all told me to try another mirror. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel