Subject: Re: Is pccons of any use in shark? To: None <email@example.com> From: Izumi Tsutsui <firstname.lastname@example.org> List: port-arm Date: 09/12/2007 00:58:21
> So, can we kill it?
No idea about pccons, but what about ofcons?
(I confirmed all of pccons, ofcons and wscons worked
as console when I added wscons for shark ;-)