Skip to content

Commit

Permalink
Removed unnecessary work and fixed spelling error
Browse files Browse the repository at this point in the history
  • Loading branch information
christinerose authored Oct 4, 2024
1 parent c75a62c commit 855dcda
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion data/tutorials/getting-started/3_01_ocaml_on_windows.md
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ that interact with such environments might introduce. Think of it as a
sandboxed environment.

You will notice that the repository information fetching stage takes a while to
complete. This is normal (for the moment), we advice our users to go get
complete. This is normal (for the moment), so we advise our users to get
themselves their favourite hot beverage while it runs.

```shell-session
Expand Down

0 comments on commit 855dcda

Please sign in to comment.