bumped to rasca 0.9.1

cwi-swat · Oct 2, 2023 · 6d33d68 · 6d33d68
1 parent 87cae3d
commit 6d33d68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -3,7 +3,7 @@ ports:
     onOpen: ignore
 vscode:
   extensions:
-    - http://jurgen.vinju.org/downloads/rascalmpl-0.6.4-head.vsix
+    - usethesource.rascalmpl@0.9.1
 tasks:
   - name: "open Gebruiker.rsc"
     init: gp open /workspace/yop-rascal-nl/src/lang/yop/Gebruiker.rsc