Fri, 08 Sep 2017 17:04:30 +0200Fixes in API doc of DIMACS reader methods
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Sep 2017 17:04:30 +0200] rev 1157
Fixes in API doc of DIMACS reader methods

Fri, 08 Sep 2017 17:02:03 +0200Bug fix in DIMACS reader (#607)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Sep 2017 17:02:03 +0200] rev 1156
Bug fix in DIMACS reader (#607)

Thu, 08 Oct 2015 10:03:29 +0200Merge bugfix #600 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Oct 2015 10:03:29 +0200] rev 1155
Merge bugfix #600 to branch 1.3