1

renamed changed settings

This commit is contained in:
2022-07-18 14:23:44 +02:00
parent 73d9fee897
commit cf2f45f3f4
3 changed files with 5 additions and 5 deletions

View File

@ -25,7 +25,7 @@
# Auto garbage-collect and optimize store
gc.automatic = true;
gc.options = "--delete-older-than 5d";
autoOptimiseStore = true;
settings.auto-optimise-store = true;
optimise.automatic = true;
# TODO: Understand this