changeset 80223 | d389577a6fba |
parent 80023 | c43a51fde4f5 |
child 80227 | af6b60c75d7d |
--- a/src/Pure/System/other_isabelle.scala Fri May 31 22:19:31 2024 +0200 +++ b/src/Pure/System/other_isabelle.scala Fri May 31 22:35:44 2024 +0200 @@ -183,7 +183,6 @@ def cleanup(): Unit = { clean_settings() - ssh.delete(etc) - ssh.delete(isabelle_home_user) + ssh.delete(etc, isabelle_home_user) } }