24 Jul
2009
24 Jul
'09
4:44 a.m.
Hi, attached patch updates the console docs a bit. O.k. to apply? Cheers, -- Guido