diff options
Diffstat (limited to '.vscode/settings.json')
| -rw-r--r-- | .vscode/settings.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.vscode/settings.json b/.vscode/settings.json index f4905d4..58b5100 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,5 +1,4 @@ { - //test ok "cmake.configureArgs": [ "-DCMAKE_BUILD_TYPE=Debug", "-DSTORM_BUILD_TESTS=on", |