diff options
| author | Sam Wilkins <samuel_wilkins@brown.edu> | 2019-06-14 20:49:12 -0400 |
|---|---|---|
| committer | Sam Wilkins <samuel_wilkins@brown.edu> | 2019-06-14 20:49:12 -0400 |
| commit | d2c9550f23c4e5654822ac01b973bb965e3f6dec (patch) | |
| tree | 1285e7abfa2ae6a0f70b17b929640cedd0ea0bac /.vscode | |
| parent | 74dee5f76ffc5bbdd07caafb4273aaf485dec1b9 (diff) | |
cleaned up Docs namespace and thoroughly documented DocServer.GetRefFields
Diffstat (limited to '.vscode')
| -rw-r--r-- | .vscode/settings.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.vscode/settings.json b/.vscode/settings.json index fc315ffaf..5df697fee 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -9,5 +9,6 @@ "editor.formatOnSave": true, "editor.detectIndentation": false, "typescript.format.insertSpaceAfterOpeningAndBeforeClosingNonemptyBrackets": false, - "typescript.format.insertSpaceAfterOpeningAndBeforeClosingNonemptyBraces": true + "typescript.format.insertSpaceAfterOpeningAndBeforeClosingNonemptyBraces": true, + "search.usePCRE2": true }
\ No newline at end of file |