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 738
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 737
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 736
Test file + doc improvements (#307)