Skip to content

Update Coin setup

Riccardo Maria Bianchi requested to merge master-update-coin-setup into master

The MR adds messages to the user when a local Coin installation is found and when the use of the built-in Coin version is requested.

Merge request reports