# HG changeset patch
# User wenzelm
# Date 1711543268 -3600
# Node ID 38bbc2ff3c241998f97dbf5f07f9e7d142decfdb
# Parent  64e57aafca1e57b3ac369b90e5067397429b8e48
remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";

diff -r 64e57aafca1e -r 38bbc2ff3c24 Admin/components/go
--- a/Admin/components/go	Wed Mar 27 13:32:30 2024 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-go-1.21.0-v1