Inicio Explorar Ayuda
Registro Iniciar sesión
ghastrod
/
Info_MPSI
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: 7849c8db24
Ramas Etiquetas
Info_MPSI
/
test1
/
.vscode
/
settings.json

settings.json 57 B
Histórico Raw

12345 
  1. {
    2. 

  2.     "ocaml.sandbox": {
    3. 

  3.         "kind": "global"
    4. 

  4.     }
    5. 

  5. }
    6.