# HG changeset patch
# User wenzelm
# Date 1709920729 -3600
# Node ID 5f033e4cbeb72cd6acfb90f984ea4e35461bca89
# Parent  9d484c5d3a6387f0ec60c060c85b372ff62979dc
tuned whitespace;

diff -r 9d484c5d3a63 -r 5f033e4cbeb7 etc/options
--- a/etc/options	Fri Mar 08 18:29:21 2024 +0100
+++ b/etc/options	Fri Mar 08 18:58:49 2024 +0100
@@ -420,7 +420,9 @@
 option build_log_ssh_host : string = "" for connection
 option build_log_ssh_user : string = "" for connection
 option build_log_ssh_port : int = 0 for connection
-option build_log_history : int = 30  -- "length of relevant history (in days)"
+
+option build_log_history : int = 30
+  -- "length of relevant history (in days)"
 
 
 section "Isabelle/Scala/ML system channel"