From 6d33d68bd68ab79b9123fca2e2f795fc93b380b0 Mon Sep 17 00:00:00 2001
From: Jurgen Vinju <jurgen@vinju.org>
Date: Mon, 2 Oct 2023 10:53:28 +0000
Subject: [PATCH] bumped to rasca 0.9.1

---
 .gitpod.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 38a5dda..c4cf6d6 100644
--- 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