commit | 4c47653ef0adc2e84593732f2f8947df5fa06111 | [log] [tgz] |
---|---|---|
author | Eike Stepper <stepper@esc-net.de> | Mon Aug 31 15:16:04 2015 +0200 |
committer | Eike Stepper <stepper@esc-net.de> | Mon Aug 31 15:16:04 2015 +0200 |
tree | 3421d7257237891839259e981550a375727cd040 | |
parent | bafae2dd038c76958f40d42a5c51091b3af69db8 [diff] |
[476019] Support synchronization of local user preferences with a remote service https://bugs.eclipse.org/bugs/show_bug.cgi?id=476019