Re: [ jEdit-users ] jedit source code repository

[Jarek C. <jar...@po...>]

W dniu 2012-02-24 14:57, Matthieu Casanova pisze:
>
> If you want plugins sources, most of them are on SVN, and if they are 
> not on SVN, it is on git.

And one more unusual scenario: sometimes there are sources in both svn 
and git and only one repository is up-to-date.

Jarek