Minor error in instructions for Git

coin-or / COIN-OR-OptimizationSuite

A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.

116 stars 41 forks source link

Closed kingaj12 closed 6 years ago

kingaj12 commented 6 years ago

In the BuildTools suggestions ...

git clone --branch=stable/1.8 https://github.com/coin-or-tools/BuildTools/

... the latest stable version is 0.8

tkralphs commented 6 years ago

Fixed by a25079c.