Sat, 07 Oct 2017 16:17:34 +0200Remove unused auxiliary classes (#597)
Peter Kovacs <kpeter@inf.elte.hu> [Sat, 07 Oct 2017 16:17:34 +0200] rev 1192
Remove unused auxiliary classes (#597)