lilypond-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: deleting / renaming git branches


From: Graham Percival
Subject: Re: deleting / renaming git branches
Date: Thu, 18 Mar 2010 21:07:22 +0000
User-agent: Mutt/1.5.18 (2008-05-17)

On Thu, Mar 18, 2010 at 02:01:18PM -0700, Patrick McCarty wrote:
> On Thu, Mar 18, 2010 at 1:25 PM, Graham Percival
> <address@hidden> wrote:
> > Could somebody please make
> >  dev/gperciva
> > be
> >  dev/waf?
> 
> Just to clarify, you want to (a) delete the current dev/waf, and (b)
> rename dev/gperciva to dev/waf ?

Yes.  Please double-check that dev/waf has nothing useful in it
first, of course.  :)

Cheers,
- Graham




reply via email to

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