9 lines
190 B
JSON
9 lines
190 B
JSON
{
|
|
"dotty": {
|
|
"trace": {
|
|
"remoteTracingUrl": "wss://lamppc36.epfl.ch/dotty-remote-tracer/upload/lsp.log",
|
|
"server": { "format": "JSON", "verbosity": "verbose" }
|
|
}
|
|
}
|
|
}
|