octave-maintainers
[Top][All Lists]
Advanced

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

Re: GUI font and cursor location


From: Mike Miller
Subject: Re: GUI font and cursor location
Date: Mon, 30 Jul 2012 22:13:33 -0400
User-agent: Mutt/1.5.21 (2010-09-15)

On Mon, Jul 30, 2012 at 09:30:06PM -0400, Ben Abbott wrote:
> 
> On Jul 30, 2012, at 9:19 PM, Mike Miller wrote:
> 
> > If everyone's happy, Jacob, can you revert f91e00f and apply this?
> 
> Mike, do you mean ...
> 
>       hg revert -r 7c14e3e6fc6b

No, I was referring to the qterminal git repo by itself in this case.
That hg rev does correspond to the git rev I was referring to.

-- 
mike


reply via email to

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