From 158e218207f1112758578bac753bd41a857c2da4 Mon Sep 17 00:00:00 2001
From: david <schrader@molgen.mpg.de>
Date: Wed, 16 Oct 2024 13:30:49 +0200
Subject: [PATCH] usrlocalpkg/admin/config: rename vscode

---
 usrlocalpkg/admin/config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/usrlocalpkg/admin/config b/usrlocalpkg/admin/config
index a47342e..87471a5 100644
--- a/usrlocalpkg/admin/config
+++ b/usrlocalpkg/admin/config
@@ -1217,7 +1217,7 @@ obs-studio
   obs
 
 vscode-1.92.0-0
-  code
+  visualstudiocode
 
 jdk-7u80-1
 jdk-7u80=jdk-7u80-1