Re: [ jEdit-users ] problem downloading plugins through plugin manager

[Craig W <cod...@gm...>]

got it, I just updated the list of mirrors and now it works.

thanks