>> Given that the svn://gcc.gnu.org/svn/gcc/branches/plugin branch is not
>> really active, I suggest to
>>
>> svn mv svn://gcc.gnu.org/svn/gcc/branches/plugin
>> svn://gcc.gnu.org/svn/gcc/branches/old-plugin
>>
>> What do you think about that?
>
> I have no opinion on this. Eric and Sean should
On Thu, Mar 19, 2009 at 05:32, Basile STARYNKEVITCH
wrote:
> The only difference in the branches name is a single letter (the last s of
> plugins).
Yeah, I had forgotten about that branch and only remembered when I
went to edit the svn web page.
> Given that the svn://gcc.gnu.org/svn/gcc/branch
Hello All,
The current SVN tree contain two branches on plugins.
% svn info svn://gcc.gnu.org/svn/gcc/branches/plugin
Path: plugin
URL: svn://gcc.gnu.org/svn/gcc/branches/plugin
Repository Root: svn://gcc.gnu.org/svn/gcc
Repository UUID: 138bc75d-0d04-041
