Re: Cursor::noPop(), nopop_

[Andre Poenitz]

On Wed, Mar 24, 2004 at 10:26:41AM +0000, Angus Leeming wrote:
> Sorry! I removed them already. It's hard to work out what is cruft 
> and what is "to be used eventually" ;-)

No problem. Removing unused stuff is a good idea in general. 

Andre'