Discard changes to .vscode/settings.json

TeamBasedInquiryLearning · Nov 4, 2024 · 07109cb · 07109cb
1 parent d67eeff
commit 07109cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -4,7 +4,7 @@
     "xml.fileAssociations": [
         {
             "pattern": "**/source/**.ptx",
-            "systemId": "/home/vscode/.vscode-remote/extensions/oscarlevin.pretext-tools-0.21.1/assets/schema/pretext.rng"
+            "systemId": "/home/vscode/.ptx/2.6.2/core/schema/pretext.rng"
         }
     ]
 }