enabling libglpk detection
authorMatthias Wachs <wachs@net.in.tum.de>
Mon, 27 Feb 2012 20:00:08 +0000 (20:00 +0000)
committerMatthias Wachs <wachs@net.in.tum.de>
Mon, 27 Feb 2012 20:00:08 +0000 (20:00 +0000)
commitdb15453e3a55d8d47a9a2fc0d7982fed18186312
treeb1315d54f4338d6e70a0a2964697e24a08c1a5db
parent58994855d607c4a7514af07c61c91af7db99637f
enabling libglpk detection
configure.ac