# HG changeset patch
# User wenzelm
# Date 1662933036 -7200
# Node ID e5cfb05d312ee1d59130411be6f54c0d3a1d6e19
# Parent  e8e3b60d8ecdb073e300af902cae3f56fa04cc61
unused;

diff -r e8e3b60d8ecd -r e5cfb05d312e src/Pure/General/ssh.scala
--- a/src/Pure/General/ssh.scala	Sun Sep 11 23:48:17 2022 +0200
+++ b/src/Pure/General/ssh.scala	Sun Sep 11 23:50:36 2022 +0200
@@ -312,9 +312,7 @@
     def remote_path(path: Path): String = expand_path(path).implode
     override def bash_path(path: Path): String = Bash.string(remote_path(path))
 
-    def chmod(permissions: Int, path: Path): Unit = sftp.chmod(permissions, remote_path(path))
     def rm(path: Path): Unit = sftp.rm(remote_path(path))
-    def mkdir(path: Path): Unit = sftp.mkdir(remote_path(path))
 
     private def test_entry(path: Path, as_dir: Boolean): Boolean =
       try {