Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@g-poveda
g-poveda committed Nov 18, 2022
1 parent 7aacff5 commit 22accdd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/source/install.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ See [minizinc documentation](https://www.minizinc.org/doc-latest/en/installation

> **Tip:** You can easily install minizinc from the command line which can be useful when on cloud.
> In order to make life easier to clous users, we reproduce the necessary lines. Pleas be careful that this
> is not an official documentation for minzinc and that the following lines can stop working without notice
> is not an official documentation for minizinc and that the following lines can stop working without notice
> as we do not test them.
#### Linux command line
Expand Down

0 comments on commit 22accdd

Please sign in to comment.