etc/options
changeset 76166 dbafa8d688fb
parent 76148 769ebb139a32
child 76167 e517a38dc0e6
--- a/etc/options	Thu Sep 15 21:33:46 2022 +0200
+++ b/etc/options	Thu Sep 15 21:37:17 2022 +0200
@@ -295,9 +295,6 @@
 option ssh_compression : bool = true
   -- "enable SSH compression"
 
-option ssh_connect_timeout : real = 60
-  -- "SSH connection timeout (seconds)"
-
 option ssh_alive_interval : real = 30
   -- "time interval to keep SSH server connection alive (seconds)"