Mon, 08 Dec 2008 20:23:33 +0100Fix skipSection() function (ticket #193)
Balazs Dezso <deba@inf.elte.hu> [Mon, 08 Dec 2008 20:23:33 +0100] rev 427
Fix skipSection() function (ticket #193)

Mon, 08 Dec 2008 15:47:20 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 08 Dec 2008 15:47:20 +0000] rev 426
Merge