comparison configure.ac @ 4081:d5757727d1dd

glpk: Prevent crash when using glpk glp_time in mingw * src/src/mingw-glpk-1-fixes.patch: new file
author John Donoghue
date Thu, 14 Jan 2016 16:25:43 -0500
parents 0962acdde3be
children 5ae69991eaa1
comparison
equal deleted inserted replaced
4080:fc075c6c9a0b 4081:d5757727d1dd