ivan/site
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Delete .vscode directory

Browse Source
This commit is contained in:
Rawley
2022-11-06 20:04:48 -06:00
committed by GitHub
parent 40db32614c
commit e438c2e5ca
1 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
.vscode/settings.json vendored
View File

@@ -1,5 +0,0 @@
{
"ocaml.sandbox": {
"kind": "global"
}
}