diff options
| author | Ladislav Zezula <Ladislav Zezula> | 2023-06-27 09:57:13 +0200 |
|---|---|---|
| committer | Ladislav Zezula <Ladislav Zezula> | 2023-06-27 09:57:13 +0200 |
| commit | bf5d6d10c136fefd73d3e02304111b26dc6b19b8 (patch) | |
| tree | 053668e8e731d6f033ee8460981a4ef6fd571861 /.vscode/settings.json | |
| parent | f51ee604991743b2eb4a61bc200843d7191d48e7 (diff) | |
Renamed the output executable
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", |