[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: rename grub to grub-legacy ?
|
From: |
Felix Zielcke |
|
Subject: |
Re: rename grub to grub-legacy ? |
|
Date: |
Thu, 09 Oct 2008 11:53:40 +0200 |
Am Dienstag, den 07.10.2008, 21:24 +0200 schrieb Yoshinori K. Okuji:
>
> I have no objection. Sorry for a slow response.
So if I understand it right then
`svn mv svn+ssh://svn.sv.gnu.org/grub/trunk/grub
svn+ssh://svn.sv.gnu.org/grub/trunk/grub-legacy'
should do it, inclusive saving the history?
I just better ask before trying it out :)