lpp_gurobi:disable log to console unless requested
authorMatthias Braun <matze@braunis.de>
Thu, 1 Dec 2011 18:04:36 +0000 (19:04 +0100)
committerMatthias Braun <matze@braunis.de>
Thu, 1 Dec 2011 19:02:21 +0000 (20:02 +0100)
commit846df6812a98f4c43073e16bdb22a0fdbe09289e
tree591834ac6bf0054039d9aef05ab7c1ed0f671de7
parente665f86c4e76a5414e6555c8c98da324cc5335e3
lpp_gurobi:disable log to console unless requested
ir/lpp/lpp_gurobi.c