Thu, 06 Nov 2008 23:12:57 +0100Critical bug fix in SmartDigraph::split() #170
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 06 Nov 2008 23:12:57 +0100] rev 335
Critical bug fix in SmartDigraph::split() #170