merge developer

Helius

2022-03-03 e213e39be2f626ce052abb5bd1582d48059177ba

1
2
3
4
5
{
    "editor.fontSize": 14,
    "files.autoSave": "afterDelay",
    "editor.cursorStyle": "line-thin"
}