etc/options

--- a/etc/options	Sat Mar 16 11:00:18 2024 +0100
+++ b/etc/options	Sat Mar 16 14:43:48 2024 +0100
@@ -222,9 +222,6 @@
 option build_schedule_outdated_delay : real = 300.0
   -- "delay schedule generation loop"
 
-option build_schedule_outdated_limit : int = 20
-  -- "maximum number of sessions for which schedule stays valid"
-
 
 section "Editor Session"