reactos/.theia/settings.json
Jérôme Gardou 04d0d95b8a [GITPOD]Add gitpod config
this commit adds support for Gitpod.io, a free automated
dev environment that makes contributing and generally working on GitHub
projects much easier. It allows anyone to start a ready-to-code dev
environment for any branch, issue and pull request with a single click.
2020-04-02 18:03:18 +02:00

11 lines
233 B
JSON

{
"cpp.buildConfigurations": [
{
"name": "build",
"directory": "${workspaceFolder}/build"
}
],
"cpp.clangdArgs": "--background-index",
"C_Cpp.intelliSenseEngine": "Disabled",
}