-
Daniel Teske authored
The former settting saved under this key had a default value of $HOME, which is a akward value. We need to use a different key, so that users get the default value even if they had run a creator which sets the $HOME value. Change-Id: I1c6637c3037e4e1919f078f56eaba5ce77d7fbce Reviewed-by: Friedemann Kleint <Friedemann.Kleint@digia.com>
ddc951c4