type-theory/.vscode/settings.json
2024-06-29 13:25:42 -05:00

10 lines
275 B
JSON

{
"editor.unicodeHighlight.ambiguousCharacters": false,
"gitdoc.enabled": false,
"gitdoc.autoCommitDelay": 300000,
"gitdoc.commitMessageFormat": "'auto gitdoc commit'",
"agdaMode.connection.commandLineOptions": "",
"search.exclude": {
"src/CubicalHott/**": true
}
}