Rename UserConfiguration to Settings
...
The latter is more accurate, as we can have system settings
of type UserConfiguration.
This is also a push towards more consistent naming within dub,
as configuration is primarily used for package recipe 'configuration' field.
Geod24
authored
on 1 Dec 2022
Mathias LANG
committed
on 1 Dec 2022