diff --git a/latest/installation.html b/latest/installation.html index aca3aa77d5..34aee4b23f 100755 --- a/latest/installation.html +++ b/latest/installation.html @@ -762,6 +762,7 @@

MOSEK ENTER.

On linux