优化app历史任务列表

Administrator

2023-08-01 79b466a6b77ed62f2275f97c5812a26da27ca489

1
2
3
4
5
6
7
8
9
10
11
{
  "spellright.language": [
    "en"
  ],
  "spellright.documentTypes": [
    "markdown",
    "latex",
    "plaintext",
    "javascript"
  ]
}