Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Fri, 08 Mar 2024 18:58:49 +0100
changeset 79813 5f033e4cbeb7
parent 79812 9d484c5d3a63
child 79814 2da08d9ce629
tuned whitespace;
etc/options file | annotate | diff | comparison | revisions 
--- 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"
isabelle