type-theory/.vscode/settings.json

{
	"editor.unicodeHighlight.ambiguousCharacters": false,
	"gitdoc.enabled": true,
	"gitdoc.autoCommitDelay": 120000,
	"gitdoc.commitMessageFormat": "'auto gitdoc commit'"
}