diff options
author | UnavailableDev <69792062+UnavailableDev@users.noreply.github.com> | 2023-03-22 10:45:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-22 10:45:34 +0100 |
commit | d32a4942c7e16af5daf71a769906b17cb44de8e1 (patch) | |
tree | 8da86d27d30d841d786a5beca634e3fbaaf00570 /.vscode/tasks.json | |
parent | 6d82f9e3d165e0200bed2f2784a1183f47b37fa3 (diff) | |
parent | 7f51cd925883bbf958baa289d4d19231667c9eba (diff) |
Merge branch 'lonkaars:dev' into dev
Diffstat (limited to '.vscode/tasks.json')
-rw-r--r-- | .vscode/tasks.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.vscode/tasks.json b/.vscode/tasks.json index 53a235e..8404cfa 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -54,7 +54,7 @@ "args": [ "" ], }, "command": "make", - "args": [ "compile_commands" ], + "args": [ "compile_commands.json" ], "type": "shell" }, { |