timothy-king/glpk-cut-log — pull request #1 by mdeters (2014-06-23 21:09:37+00:00)
Title: Fixes for README.md.

By the way, I've noticed on both greed and on church that I need to run libtoolize on a fresh glpk-cut-log checkout, so the full instructions become as I've edited them here. (Also typo "autoheader".)