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)