NEWS
author alpar
Fri, 22 Apr 2005 17:53:26 +0000
changeset 1382 2c925c18d130
permissions -rw-r--r--
Set $lp_{glpk|cplex}_found even if --without-{glpk|cplex} option was given.