Housekeeping for VS code.

2026-03-06 15:45:31 -05:00
parent 139f5b8a99
commit 9139ee3296
3 changed files with 201 additions and 0 deletions
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -0,0 +1,9 @@
+{
+    "VsCodeTaskButtons.tasks": [
+        {
+            "label": "Watch",
+            "task": "Watch"
+        }
+    ],
+    "latex.linting.enabled": false
+}