Translations:Plugin:TabSRMM/Configure history/19/en
Jump to navigation
Jump to search
It should be said, that all local options are implemented as "override" settings. Each setting can be configured individually so you can decide to only set a few options locally and continue to use the global options for the remaining settings. Consequently, each local setting has a "default" value and this is inherited from the global set of options.