mirror of
https://github.com/reactos/reactos.git
synced 2024-11-23 19:43:31 +08:00
04d0d95b8a
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.
11 lines
233 B
JSON
11 lines
233 B
JSON
{
|
|
"cpp.buildConfigurations": [
|
|
{
|
|
"name": "build",
|
|
"directory": "${workspaceFolder}/build"
|
|
}
|
|
],
|
|
"cpp.clangdArgs": "--background-index",
|
|
"C_Cpp.intelliSenseEngine": "Disabled",
|
|
}
|