log

age author description
Mon, 23 Jul 2007 16:57:23 +0000 ptt a bunch of corrections, suggested by Nico Sabbi, tnx
Mon, 23 Jul 2007 16:16:24 +0000 ptt synced with r21537
Mon, 23 Jul 2007 14:55:34 +0000 ptt now it's synced, to r23342