Mon, 11 May 2009 16:38:21 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 11 May 2009 16:38:21 +0100] rev 709
Merge

Sat, 09 May 2009 16:47:26 +0200Remove bits/base_extender.h, which is not used at all (#288)
Peter Kovacs <kpeter@inf.elte.hu> [Sat, 09 May 2009 16:47:26 +0200] rev 708
Remove bits/base_extender.h, which is not used at all (#288)