-
Ernestas Kulik authored
As the setting can only be changed manually (and the assumption is that no one does that), it makes sense to not expose it and always use the default.
74b0a69b
As the setting can only be changed manually (and the assumption is that no one does that), it makes sense to not expose it and always use the default.