changeset 68154 | 42d63ea39161 |
parent 68130 | 6fb85346cb79 |
child 68184 | 6c693b2700b3 |
--- a/etc/options Fri May 11 22:40:02 2018 +0200 +++ b/etc/options Fri May 11 22:59:00 2018 +0200 @@ -247,6 +247,11 @@ -- "maximum number of messages to keep SSH server connection alive" +section "Theory export" + +option export_theory : bool = false + + section "Build Log Database" option build_log_database_user : string = ""