From a5cebe86babeb988d87b46294152762065b03d18 Mon Sep 17 00:00:00 2001
From: mlimbeck <mlimbeck@student.ethz.ch>
Date: Fri, 18 Oct 2024 11:47:32 +0200
Subject: [PATCH] Revert "custom silver lang"

This reverts commit e902517f2277da123174a3f39a067ada1e9e224d.
---
 silver | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 120000 => 160000 silver

diff --git a/silver b/silver
deleted file mode 120000
index fa266af11..000000000
--- a/silver
+++ /dev/null
@@ -1 +0,0 @@
-../silver
\ No newline at end of file
diff --git a/silver b/silver
new file mode 160000
index 000000000..10b1b26a2
--- /dev/null
+++ b/silver
@@ -0,0 +1 @@
+Subproject commit 10b1b26a20957e5f000bf1bbcd4017145148afd7