{
    "files.encoding": "cp437"
}