Fri, 13 Nov 2009 12:33:33 +0100Bug fix in map_extender.h (#330)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 13 Nov 2009 12:33:33 +0100] rev 406
Bug fix in map_extender.h (#330)

Thu, 05 Nov 2009 16:00:44 +0100Merge fix #321 1.0
Alpar Juttner <alpar@cs.elte.hu> [Thu, 05 Nov 2009 16:00:44 +0100] rev 405
Merge fix #321