Fri, 28 Nov 2008 11:26:51 +0100Doc improvements for the DIMACS tools (#167)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 28 Nov 2008 11:26:51 +0100] rev 388
Doc improvements for the DIMACS tools (#167)
The doc group is moved to groups.dox.