# HG changeset patch
# User wenzelm
# Date 1663018698 -7200
# Node ID a2b3999c2277c0d4f3c7dbc94005f0c2e5a3d9db
# Parent  a284c752db3969c501cc2403883d5d59c4096849
obsolete;

diff -r a284c752db39 -r a2b3999c2277 Admin/components/main
--- a/Admin/components/main	Mon Sep 12 23:26:21 2022 +0200
+++ b/Admin/components/main	Mon Sep 12 23:38:18 2022 +0200
@@ -25,7 +25,6 @@
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
-ssh-java-20190323
 stack-2.7.3
 vampire-4.6
 verit-2021.06.2-rmx