From 30bf11d417eb0d65cb3620e44afe4efb8c7a1d09 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Thu, 15 Mar 2018 18:36:04 +0100
Subject: Remove useless .sh file extension

---
 .vscode/launch.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/.vscode/launch.json b/.vscode/launch.json
index 3b885d1..608f4db 100644
--- a/.vscode/launch.json
+++ b/.vscode/launch.json
@@ -8,7 +8,7 @@
 			"showDebugOutput": false,
 			"trace": false,
 			"cwd": "${workspaceFolder}/test",
-			"program": "all-tests.sh",
+			"program": "run-tests",
 			"osx": {
 				"pathPkill": "/usr/bin/pkill"
 			}
-- 
cgit v1.2.3