Почетна Преглед Помоћ
Регистрација Пријавите се
ghastrod
/
Info_MPSI
1
0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Дрво: 5a97f160b8
Гране Ознаке
Info_MPSI
/
MP
/
.vscode
/
settings.json

settings.json 82 B
Историја Датотека

123456 
  1. {
    2. 

  2.     "ocaml.sandbox": {
    3. 

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

  4.         "switch": "cours"
    5. 

  5.     }
    6. 

  6. }
    7.