Mon, 01 Mar 2010 07:51:45 +0100 Alpar Juttner Configurable glpk prefix in ./scripts/bootstrap.sh and ...