Custom plugins site

--===============4490510072753529969==
Content-Type: multipart/alternative; boundary="0000000000008dc32a063b2b12ee"

--0000000000008dc32a063b2b12ee
Content-Type: text/plain; charset="UTF-8"

Hi

is there a way to add another plugins site to jEdit?

regards
Stefan

--0000000000008dc32a063b2b12ee
Content-Type: text/html; charset="UTF-8"

<div dir="ltr"><div>Hi <br></div><div><br></div><div>is there a way to add another plugins site to jEdit? <br></div><div><br></div><div>regards</div><div>Stefan <br></div></div>

--0000000000008dc32a063b2b12ee--


--===============4490510072753529969==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============4490510072753529969==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users

--===============4490510072753529969==--