Closed RaeuberKneissl closed 7 years ago
If this key isn't set, the first entry in 'domain' is used a the key name, as usual. If it is set, its value will be used for the key names.
Merged, thanks! :)
Thank you very much :)
If this key isn't set, the first entry in 'domain' is used a the key name, as usual. If it is set, its value will be used for the key names.