From bf5d6d10c136fefd73d3e02304111b26dc6b19b8 Mon Sep 17 00:00:00 2001
From: Ladislav Zezula <Ladislav Zezula>
Date: Tue, 27 Jun 2023 09:57:13 +0200
Subject: Renamed the output executable

---
 .vscode/settings.json | 1 -
 1 file changed, 1 deletion(-)

(limited to '.vscode/settings.json')

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",
-- 
cgit v1.2.3