Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 16:54:29 +0200] rev 1120
Clang compatibility fix in lgf-gen.cc (#480)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 15:57:42 +0200] rev 1119
Merge bugfixes #465, #484 to branch 1.3
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 15:43:12 +0200] rev 1118
Bugfix in default LP/MIP setting (#465)
The bug was introduced in [fc3854d936f7]