Thu, 24 Oct 2013 13:04:49 +0200Merge bugfix #479 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Thu, 24 Oct 2013 13:04:49 +0200] rev 1301
Merge bugfix #479 to branch 1.3

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)

Thu, 17 Oct 2013 15:09:30 +0200Merge bugfix #478 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Thu, 17 Oct 2013 15:09:30 +0200] rev 1299
Merge bugfix #478 to branch 1.3