This commit is contained in:
mrT23
2024-02-29 21:29:12 +02:00
parent 92d3627de0
commit db796416d9
3 changed files with 92 additions and 52 deletions

View File

@ -7,6 +7,7 @@ publish_output=true
publish_output_progress=true
verbosity_level=0 # 0,1,2
use_extra_bad_extensions=false
use_wiki_settings_file=true
use_repo_settings_file=true
use_global_settings_file=true
ai_timeout=120 # 2minutes