--- a/etc/build.props Tue Mar 26 20:23:13 2024 +0100
+++ b/etc/build.props Tue Mar 26 20:39:06 2024 +0100
@@ -27,7 +27,6 @@
src/Pure/Admin/component_eptcs.scala \
src/Pure/Admin/component_foiltex.scala \
src/Pure/Admin/component_fonts.scala \
- src/Pure/Admin/component_go.scala \
src/Pure/Admin/component_hugo.scala \
src/Pure/Admin/component_javamail.scala \
src/Pure/Admin/component_jdk.scala \
@@ -212,6 +211,7 @@
src/Pure/Tools/dump.scala \
src/Pure/Tools/flarum.scala \
src/Pure/Tools/fontforge.scala \
+ src/Pure/Tools/go_setup.scala \
src/Pure/Tools/java_monitor.scala \
src/Pure/Tools/logo.scala \
src/Pure/Tools/mkroot.scala \