19 Oct
2007
19 Oct
'07
10:32 p.m.
On Fri, Oct 19, 2007 at 04:00:22PM +0100, Chris G wrote:
It's a pity there isn't an ordinary man page for gnome-terminal, less likely to get lost.
I have a man page for gnome-terminal, maybe you've got a more serious problem? Adam -- jabberid = quinophex@jabber.earth.li