From f93e2cd67338241e397b7b3e80bfa954cb350188 Mon Sep 17 00:00:00 2001 From: Jesse Hills <3060199+jesserockz@users.noreply.github.com> Date: Sun, 16 Apr 2023 16:37:44 +1200 Subject: [PATCH] Add tasks file for vscode (#2846) --- .vscode/tasks.json | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 .vscode/tasks.json diff --git a/.vscode/tasks.json b/.vscode/tasks.json new file mode 100644 index 000000000..f1a91940f --- /dev/null +++ b/.vscode/tasks.json @@ -0,0 +1,11 @@ +{ + "version": "2.0.0", + "tasks": [ + { + "label": "Live HTML build", + "type": "shell", + "command": "make live-html", + "problemMatcher": [] + }, + ] +}