Tue, 04 Nov 2008 21:25:15 +0100Rename readNauty() to readNautyGraph() (#55)
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 04 Nov 2008 21:25:15 +0100] rev 371
Rename readNauty() to readNautyGraph() (#55)