Mon, 20 Oct 2008 12:17:24 +0200Small improvements in the unifier script
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 20 Oct 2008 12:17:24 +0200] rev 340
Small improvements in the unifier script