etc/options
changeset 68154 42d63ea39161
parent 68130 6fb85346cb79
child 68184 6c693b2700b3
     1.1 --- a/etc/options	Fri May 11 22:40:02 2018 +0200
     1.2 +++ b/etc/options	Fri May 11 22:59:00 2018 +0200
     1.3 @@ -247,6 +247,11 @@
     1.4    -- "maximum number of messages to keep SSH server connection alive"
     1.5  
     1.6  
     1.7 +section "Theory export"
     1.8 +
     1.9 +option export_theory : bool = false
    1.10 +
    1.11 +
    1.12  section "Build Log Database"
    1.13  
    1.14  option build_log_database_user : string = ""