Skip to content

Commit

Permalink
chore: update sandbox
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg committed Aug 19, 2023
1 parent ca9a757 commit f69b8b0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"ocaml.sandbox": {
"kind": "opam",
"switch": "4.12.0"
"switch": "4.14.1"
}
}
}

0 comments on commit f69b8b0

Please sign in to comment.