Enable auto-indent on file save

Cette révision appartient à :
Arthur Bit-Monnot 2019-11-06 14:25:19 +01:00
Parent 7255fb2c3d
révision e277028633

Voir le fichier

@ -2,5 +2,6 @@
"files.associations": {
"*.ml": "ocaml",
"*.mli": "ocaml"
}
},
"editor.formatOnSave": true
}