diff -r c8df7abb8707 -r ea5adf7acc2d src/Pure/Tools/build_cluster.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Tools/build_cluster.scala	Tue Jul 18 20:14:57 2023 +0200
@@ -0,0 +1,12 @@
+/*  Title:      Pure/Tools/build_cluster.scala
+    Author:     Makarius
+
+Management of build cluster: independent ssh hosts with access to shared
+PostgreSQL server.
+*/
+
+package isabelle
+
+
+object Build_Cluster {
+}