charles/scala_cs_210
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Import missing .vscode configuration folder (dotty-trace VSCode plugin)

Browse Source
This commit is contained in:
Timothée Floure 2019-12-06 07:56:28 +01:00
parent f65e609d3f
commit 5f432c0a5c
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.vscode/settings.json vendored Normal file
View File

@ -0,0 +1,8 @@
{
"dotty": {
"trace": {
"remoteTracingUrl": "wss://lamppc36.epfl.ch/dotty-remote-tracer/upload/lsp.log",
"server": { "format": "JSON", "verbosity": "verbose" }
}
}
}