tree 4116cc3a3503b490c741c10d0e7744ee6f82fabd
parent 080ca4c5f2ac42620971a07f06d2d13deb7befa8
author Nicolai Wojke <nwojke@uni-koblenz.de> 1461587081 +0200
committer Nicolai Wojke <nwojke@uni-koblenz.de> 1461587081 +0200

Fix: Copy minimizer option 'is_silent' to LinSearchDirection::Options

Change-Id: I23b4c3383cad30033c539ac93883d77c8dd4ba1a