[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:// 
should do it, inclusive saving the history?
I just better ask before trying it out :)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]