Thu, 24 Oct 2013 13:04:00 +0200Fix default LP/MIP setting (#479)
Alpar Juttner <alpar@cs.elte.hu> [Thu, 24 Oct 2013 13:04:00 +0200] rev 1300
Fix default LP/MIP setting (#479)