From c42d8c7f5e0f1e2388df5048c3f884b92e5ad8cf Mon Sep 17 00:00:00 2001 From: Ted Ralphs Date: Tue, 11 Jan 2022 23:46:30 -0500 Subject: [PATCH] Small update to README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7a513641..2073ce3c 100644 --- a/README.md +++ b/README.md @@ -103,7 +103,7 @@ following on the command line. ``` wget https://raw.githubusercontent.com/coin-or/coinbrew/master/coinbrew chmod u+x coinbrew -./coinbrew fetch Clp@stable/1.17 +./coinbrew fetch Clp@1.17 ./coinbrew build Clp ``` For more detailed instructions on coinbrew, see https://coin-or.github.io/coinbrew.