Mon, 31 Aug 2009 07:22:26 +0200Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 31 Aug 2009 07:22:26 +0200] rev 739
Merge

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)