src/Pure/Admin/build_history.scala

--- a/src/Pure/Admin/build_history.scala	Wed Jan 25 13:38:26 2023 +0100
+++ b/src/Pure/Admin/build_history.scala	Wed Jan 25 14:51:13 2023 +0100
@@ -583,7 +583,7 @@
         yield {
           val log = Path.explode(line)
           val bytes = ssh.read_bytes(log)
-          ssh.rm(log)
+          ssh.delete(log)
           (log.file_name, bytes)
         }
       }