Allow specifying local/alternate servers to get plug-ins
Submitted by Tuesday, 27 January, 2004 - 18:57
on
It would be handy if I could host a local repository of plug-ins developed specifically for in-house purposes for jEdit and allow people to download them using the regular plug-in manager.
I suppose this wouldn't be hard for me to implement... hmmm...
I suppose this wouldn't be hard for me to implement... hmmm...