首页 发现 帮助
注册 登录
ghastrod
/
Info_MPSI
1
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: 7849c8db24
分支列表 标签列表
Info_MPSI
/
test2
/
.vscode
/
settings.json

settings.json 84 B
文件历史 原始文件

123456 
  1. {
    2. 

  2.     "ocaml.sandbox": {
    3. 

  3.         "kind": "opam",
    4. 

  4.         "switch": "default"
    5. 

  5.     }
    6. 

  6. }
    7.