diff --git a/doc/config.html b/doc/config.html index df0419e5..02fd23df 100755 --- a/doc/config.html +++ b/doc/config.html @@ -2464,6 +2464,11 @@ Options Location = Main Building{a}, New Building{b}, Old Building{c} logbooks, one has to enter the logbook URL directly, or from a bookmark list. Default is 0. +
Hide Comments = 0|1Use Lock = 0|1