Thu, 24 Oct 2013 13:04:00 +0200 | Alpar Juttner | Fix default LP/MIP setting (#479) | changeset | files |
Thu, 17 Oct 2013 15:09:30 +0200 | Alpar Juttner | Merge bugfix #478 to branch 1.3 | changeset | files |
Thu, 17 Oct 2013 15:08:41 +0200 | Alpar Juttner | Merge bugfix #478 | changeset | files |