Mon, 03 Aug 2009 14:00:21 +0200Bug fix + extension in the rename script (#305)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 03 Aug 2009 14:00:21 +0200] rev 691
Bug fix + extension in the rename script (#305)

Mon, 31 Aug 2009 07:12:58 +0200Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 31 Aug 2009 07:12:58 +0200] rev 690
Merge

Tue, 18 Aug 2009 10:35:35 +0200Test file + doc improvements (#307)
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 18 Aug 2009 10:35:35 +0200] rev 689
Test file + doc improvements (#307)